Theorem Proving in Higher Order Logics | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Theorem Proving in Higher Order Logics
product image
product image
product image
product image

Theorem Proving in Higher Order Logics

53.49 EUR 9% Off 59.00 EUR

Marke: Springer Berlin Heidelberg
ISBN: 3540678638
MPN: Illustrations
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: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869, Band 1869)

53.49 EUR 59.00 EUR
06-08-2026 06:23:45
Access to the deal

Gesponsert Theorem Proving in Higher Order Logics

59.00 EUR 59.00 EUR
06-08-2026 00:12:16
Access to the deal

Ähnliche Produkte

Theorem Proving in Higher Order Logics

53.49 EUR 59.00 EUR
Produkt anzeigen

Theorem Proving in Higher Order Logics

53.49 EUR 59.00 EUR
Produkt anzeigen

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)

53.49 EUR 59.00 EUR
Produkt anzeigen

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)

53.49 EUR 59.00 EUR
Produkt anzeigen