• Theorem Proving in Higher Orde...
  • *Description*

*Result*: Theorem Proving in Higher Order Logics

*Title*:
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
*Author/editor-in-chief*:
Berghofer, Stefan (Herausgeber); Nipkow, Tobias (Herausgeber); Urban, Christian (Herausgeber); Wenzel, Makarius (Herausgeber)
*Edition*:
1st ed. 2009
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XI, 517 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5674
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Theorem Proving in Higher Order Logics. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642033582
*Subject Added Keywords*:
*ISBN*:
9783642033599 ; 3642033598 ; 978--364203358-2 (Sekundärausgabe) ; 978--364203360-5 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-03359-9

*Additional information*

*Additional functions*