Name: Theorem Proving in Higher Order Logics
Brand: Springer Berlin Heidelberg
SKU: ID12366945

Theorem Proving in Higher Order Logics

53.49 EUR 9% Off 59.00 EUR

Ein kompakter Sammelband aus der 12. internationalen Konferenz zu Theorem-Proving in Higher Order Logics, die im September 1999 in Nizza stattfand; er liefert praxisnahe Fallstudien und neue Algorithmen zur automatisierten Beweissuche.

Marke: Springer Berlin Heidelberg

ISBN: 3540664637

MPN: 7206787

Angebote
Merkmale

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

-9%

Gesponsert Theorem Proving in Higher Order Logics

Hugendubel

53.49 EUR 59.00 EUR

04-11-2026 01:06:09

Access to the deal

-9%

Gesponsert Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)

Medimops DE

53.49 EUR 59.00 EUR

03-11-2026 11:10:02

Access to the deal

Gesponsert Theorem Proving in Higher Order Logics

SpringerLink DE

59.00 EUR 59.00 EUR

03-11-2026 17:47:25

Access to the deal

Theorem Proving in Higher Order Logics

Gesponsert Theorem Proving in Higher Order Logics

Gesponsert Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)

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: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)

Gesponsert Theorem Proving in Higher Order Logics

Ähnliche Produkte

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971, Band 971)

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)