> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Formalizing a logic for logic programming Beteiligte: Schlipf, John S. Erschienen: Springer Science and Business Media LLC, 1992 Erschienen in: Annals of Mathematics and Artificial Intelligence Sprache: Englisch DOI: 10.1007/bf01543479 ISSN: 1012-2443; 1573-7470 Schlagwörter: Applied Mathematics ; Artificial Intelligence Entstehung: Anmerkungen: