Umfang:
XV, 793 S
,
graph. Darst.
ISBN:
3540556028
,
0387556028
Serie:
Lecture notes in computer science 607
Weitere Ausg.:
Online-Ausg. Automated deduction - CADE-11 Berlin [u.a.] : Springer, 1992 ISBN 9783540472520
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Kapur, Deepak Automated Deduction - CADE-11 Berlin, Heidelberg : Springer Berlin Heidelberg, 1992 ISBN 9783540472520
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Automatisches Beweisverfahren
;
Automatisches Beweisverfahren
;
Konferenzschrift