Treffer: Theorem Proving in Higher Order Logics

Titel:

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

Verantwortlich:

Berghofer, Stefan (Herausgeber); Nipkow, Tobias (Herausgeber); Urban, Christian (Herausgeber); Wenzel, Makarius (Herausgeber)

Ausgabe:

1st ed. 2009

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XI, 517 Seiten)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5674

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Theorem Proving in Higher Order Logics. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642033582

Schlagworte:

ISBN:

9783642033599 ; 3642033598 ; 978--364203358-2 (Sekundärausgabe) ; 978--364203360-5 (Sekundärausgabe)

DOI:

10.1007/978-3-642-03359-9

Treffer: Theorem Proving in Higher Order Logics

Zusatz-Informationen

Zusatz-Funktionen