Format:
269 S.
,
graph. Darst.
ISBN:
3486207857
Series Statement:
Handbuch der Informatik : [die umfassende Darstellung der Informatik in Einzelbänden] / hrsg. von Albert Endres ... 2
Note:
Literaturverz. S. 239 - 254
Language:
German
Subjects:
Computer Science
,
Mathematics
Keywords:
Prädikatenlogik
;
Deduktion
;
Aussagenlogik
;
Automation
;
Logische Programmiersprache
;
Lehrerhandbuch
Author information:
Hölldobler, Steffen 1957-2023
Author information:
Bibel, Wolfgang 1938-