Treffer: Interactive Theorem Proving
Titel:
Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty
Verantwortlich:
Ausgabe:
1st ed. 2012
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XI, 419 Seiten) : 37 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7406
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Interactive Theorem Proving. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642323461
Schlagworte:
ISBN:
9783642323478 ; 3642323472 ; 978--364232346-1 (Sekundärausgabe) ; 978--364232348-5 (Sekundärausgabe)
DOI:
10.1007/978-3-642-32347-8