Format:
269 S. : graph. Darst.
ISBN:
3-486-20785-7
Series Statement:
Handbuch der Informatik 6,2
Language:
German
Subjects:
Computer Science
,
Comparative Studies. Non-European Languages/Literatures
,
Mathematics
Keywords:
Deduktion
;
Wissensbasiertes System
;
Deduktionssystem
;
Deduktion
;
Automatisches Beweisverfahren
;
Wissensbasiertes System
;
Logik
;
Logik
;
Informatik
;
Logik
;
Automation
;
Deduktion
;
Informatik
Author information:
Bibel, Wolfgang 1938-