Format:
XIX, 681 Seiten
,
Diagramme
,
26 cm
ISBN:
0521899575
,
9780521899574
Note:
Literaturverzeichnis: Seite 631 - 667
,
Hier auch später erschienene, unveränderte Nachdrucke
Additional Edition:
Online-Ausg. Harrison, John Handbook of practical logic and automated reasoning Cambridge [u.a.] : Cambridge Univ. Press, 2009 ISBN 9780521899574
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
;
Logischer Schluss
;
Informatik
;
Mathematische Logik
;
Logischer Schluss
;
Informatik
Bookmarklink