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

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

Hugendubel

53.49 EUR 53.49 EUR

23-09-2026 05:55:15

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

24-09-2026 13:09:55

Access to the deal

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

24-09-2026 05:39:24

Access to the deal

Gesponsert Theorem Proving in Higher Order Logics

SpringerLink DE

53.49 EUR 53.49 EUR

24-09-2026 23:54:27

Access to the deal

Theorem Proving in Higher Order Logics

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

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

Ä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

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

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

Ä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)