*Result*: Theorem Proving in Higher Order Logics

*Title*:
Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / edited by Klaus Schneider, Jens Brandt
*Author/editor-in-chief*:
Schneider, Klaus (Herausgeber); Brandt, Jens (Herausgeber)
*Edition*:
1st ed. 2007
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (VIII, 404 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 4732
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Theorem Proving in Higher Order Logics. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540745907
*Subject Added Keywords*:
*ISBN*:
9783540745914 ; 3540745912 ; 978--354074590-7 (Sekundärausgabe) ; 978--354084313-9 (Sekundärausgabe)
*DOI*:
10.1007/978-3-540-74591-4

*Additional information*

*Additional functions*