Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: tit all "A Truth Maintenance System"



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/910374473
Titel Computing the extensions of autoepistemic and default logics with a truth maintenance system / Ulrich Junker ; Kurt Konolige. [Gesellschaft für Mathematik und Datenverarbeitung mbH ...]
Person(en) Junker, Ulrich (Verfasser)
Konolige, Kurt (Verfasser)
Verlag St. Augustin : GMD [u.a.]
Zeitliche Einordnung Erscheinungsdatum: 1990
Umfang/Format 39 S. ; 30 cm
ISBN/Einband/Preis kart. : DM 15.00
Beziehungen Tasso-Report ; No. 16
Anmerkungen Literaturverz. S. 37 - 39
Status nach VGG: vergriffen
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: DKb 91/70
Bereitstellung in Frankfurt
Leipzig Signatur: SB 11416-16
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration