Umfang:
1 Online-Ressource (VI, 177 S.
,
graph. Darst.)
ISBN:
3540543058
,
0387543058
Serie:
Lecture notes in computer science 515 : Lecture notes in artificial intelligence
Anmerkung:
Literaturangaben
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Truth maintenance system
;
Künstliche Intelligenz
;
Deduktionssystem
;
Wahrheitstheorie
;
Mathematische Logik
;
Konferenzschrift