Format:
1 Online-Ressource XVII, 502 Seiten
,
Illustrationen, Diagramme
ISBN:
9783319431444
,
9783319431437
Series Statement:
Lecture Notes in Computer Science Volume 9807
Language:
English
Keywords:
Automatisches Beweisverfahren
;
HOL
;
HOL
;
Konferenzschrift
DOI:
10.1007/978-3-319-43144-4
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Blanchette, Jasmin