Format:
VI, 179 S. :
,
Ill.
ISBN:
3-486-20509-9
Language:
German
Subjects:
Computer Science
,
Mathematics
,
Philosophy
Keywords:
Deduktion
;
Künstliche Intelligenz
;
Deduktionssystem
;
Automatisches Beweisverfahren
;
Logisches Denken
;
Künstliche Intelligenz
;
Künstliche Intelligenz
;
Logik
;
Deduktion
;
Aufsatzsammlung
;
Aufsatzsammlung
;
Aufsatzsammlung
;
Lehrbuch
URL:
https://d-nb.info/871192330/04