> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2 Beteiligte: Martín-Mateos, Francisco Jesús; Ruiz-Reina, José Luis; Alonso, José Antonio; Hidalgo, María José Erschienen: Springer Science and Business Media LLC, 2011 Erschienen in: Journal of Automated Reasoning Sprache: Englisch DOI: 10.1007/s10817-010-9178-x ISSN: 1573-0670; 0168-7433 Schlagwörter: Artificial Intelligence ; Computational Theory and Mathematics ; Software Entstehung: Anmerkungen: