Umfang:
269 S. : graph. Darst.
ISBN:
3-486-20785-7
Serie:
Handbuch der Informatik 6,2
Sprache:
Deutsch
Fachgebiete:
Informatik
,
Komparatistik. Außereuropäische Sprachen/Literaturen
,
Mathematik
Schlagwort(e):
Deduktion
;
Wissensbasiertes System
;
Deduktionssystem
;
Deduktion
;
Automatisches Beweisverfahren
;
Wissensbasiertes System
;
Logik
;
Logik
;
Informatik
;
Logik
;
Automation
;
Deduktion
;
Informatik
Mehr zum Autor:
Bibel, Wolfgang 1938-