Format:
X, 366 S.
,
graph. Darst.
ISBN:
3540406646
Series Statement:
Lecture notes in computer science 2758
Additional Edition:
Erscheint auch als Online-Ausgabe Basin, David Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 ISBN 9783540406648
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Kongress
;
HOL
;
Konferenzschrift