Format:
XV, 793 S
,
graph. Darst.
ISBN:
3540556028
,
0387556028
Series Statement:
Lecture notes in computer science 607
Additional Edition:
Online-Ausg. Automated deduction - CADE-11 Berlin [u.a.] : Springer, 1992 ISBN 9783540472520
Additional Edition:
Erscheint auch als Online-Ausgabe Kapur, Deepak Automated Deduction - CADE-11 Berlin, Heidelberg : Springer Berlin Heidelberg, 1992 ISBN 9783540472520
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Automatisches Beweisverfahren
;
Konferenzschrift