Name: Theorem Proving in Higher Order Logics
Brand: Springer Berlin Heidelberg
SKU: ID12567903
Availability: InStock

Theorem Proving in Higher Order Logics

53.49 EUR 9% Off 59.00 EUR

Dieses Buch fasst die Ergebnisse des zweiten MDIC‑Workshops in Amalfi (2001) zusammen, beleuchtet neue Bilddatenbankmodelle, Multimediakommunikationsprotokolle und praxisnahe Fallstudien aus Forschungsperspektive.

Marke: Springer Berlin Heidelberg

ISBN: 3540633790

MPN: 7129548

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: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275, Band 1275)

Medimops DE

53.49 EUR 59.00 EUR

06-08-2026 06:23:28

Access to the deal

Gesponsert Theorem Proving in Higher Order Logics

SpringerLink DE

59.00 EUR 59.00 EUR

06-08-2026 00:12:25

Access to the deal

Theorem Proving in Higher Order Logics

Gesponsert Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275, Band 1275)

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: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275, Band 1275)

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)