Name: Theorem Proving in Higher Order Logics
Brand: Stefan Berghofer
SKU: ID12525201
Availability: InStock

Theorem Proving in Higher Order Logics

53.49 EUR

In diesem Sammelband der TPHOLs‑Konferenz 2009 werden aktuelle Forschungsergebnisse zur formalen Verifikation in höheren Logiken zusammengefasst, wobei neue Beweistechniken und deren Anwendungen detailliert erläutert werden.

Marke: Stefan Berghofer

ISBN: 364203358X

SKU: 9783642033582

MPN: biography

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR 53.49 EUR

16-06-2026 16:34:15

Access to the deal

Gesponsert Theorem Proving in Higher Order Logics

SpringerLink DE

53.49 EUR 53.49 EUR

16-06-2026 19:19:46

Access to the deal

Gesponsert Theorem Proving in Higher Order Logics, Fachbücher von Tobias Nipkow, Makarius Wenzel, Stefan Berghofer, Christian Urban

Galaxus.de

53.49 EUR 53.49 EUR

15-06-2026 21:34:25

Access to the deal

Theorem Proving in Higher Order Logics

Gesponsert Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science)

Gesponsert Theorem Proving in Higher Order Logics

Gesponsert Theorem Proving in Higher Order Logics, Fachbücher von Tobias Nipkow, Makarius Wenzel, Stefan Berghofer, Christian Urban

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Theorem Proving in Higher Order Logics

Gesponsert Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science)

Gesponsert Theorem Proving in Higher Order Logics

Gesponsert Theorem Proving in Higher Order Logics, Fachbücher von Tobias Nipkow, Makarius Wenzel, Stefan Berghofer, Christian Urban

Ähnliche Produkte

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152, Band 2152)

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3603, Band 3603)

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science, 1479, Band 1479)