Umfang:
VIII, 291 S. :
,
Ill., graph. Darst.
Ausgabe:
2., völlig überarb. und erw. Aufl.
ISBN:
3-486-22033-0
Anmerkung:
Literaturangaben
Sprache:
Deutsch
Fachgebiete:
Informatik
,
Mathematik
Schlagwort(e):
Deduktionssystem
;
Automatisches Beweisverfahren
;
Logisches Denken
;
Künstliche Intelligenz
;
Künstliche Intelligenz
;
Logik
;
Deduktion
;
Aufsatzsammlung
;
Aufsatzsammlung