Umfang:
1 Online-Ressource (VIII, 133 S.)
ISBN:
3540543333
,
0387543333
Serie:
Lecture notes in computer science 518 : Lecture notes in artificial intelligence
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Instantiierung
;
Deduktionssystem
;
Automatisches Beweisverfahren
;
Formale Sprache
;
Instantiierung
;
Deduktion
;
Programm
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink