Umfang:
1 Online-Ressource (XI, 382 S.)
ISBN:
9783642228636
Serie:
Lecture Notes in Computer Science 6898
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-642-22862-9
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Automatisches Beweisverfahren
;
HOL
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/978-3-642-22863-6
URL:
Volltext
(lizenzpflichtig)
Bookmarklink