Umfang:
269 S.
,
graph. Darst.
ISBN:
3486207857
Serie:
Handbuch der Informatik : [die umfassende Darstellung der Informatik in Einzelbänden] / hrsg. von Albert Endres ... 2
Anmerkung:
Literaturverz. S. 239 - 254
Sprache:
Deutsch
Fachgebiete:
Informatik
,
Mathematik
Schlagwort(e):
Prädikatenlogik
;
Deduktion
;
Aussagenlogik
;
Automation
;
Logische Programmiersprache
;
Lehrerhandbuch
Mehr zum Autor:
Hölldobler, Steffen 1957-2023
Mehr zum Autor:
Bibel, Wolfgang 1938-