Treffer: Theorem Proving in Higher Order Logics

Titel:

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / edited by Klaus Schneider, Jens Brandt

Verantwortlich:

Schneider, Klaus (Herausgeber); Brandt, Jens (Herausgeber)

Ausgabe:

1st ed. 2007

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (VIII, 404 Seiten)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Andere Ausgaben:

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

Schlagworte:

ISBN:

9783540745914 ; 3540745912 ; 978--354074590-7 (Sekundärausgabe) ; 978--354084313-9 (Sekundärausgabe)

DOI:

10.1007/978-3-540-74591-4

Treffer: Theorem Proving in Higher Order Logics

Zusatz-Informationen

Zusatz-Funktionen