> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: An introduction to default logic Beteiligte: Besnard, Philippe [VerfasserIn] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1989 Erschienen in: Symbolic computation ; artificial intelligence Umfang: XI, 208 S.; 8° Sprache: Englisch ISBN: 3540515666; 0387515666 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 285 : Computer supported cooperative work (CSCW), Groupware ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge ST 300 : Allgemeines ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Schlagwörter: Default-Logik Default-Logik Entstehung: Anmerkungen: Literaturverz. S. 195 - 202
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 8 17489 Barcode: 10018888 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden