Brauchen Sie Hilfe?
DE
US
CA
UK
ES
FR
DE
IT
Kategorien
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
Information
Über uns
Geschäftsbedingungen
Datenschutz-Bestimmungen
Blog
Kontakt
Home
Medien
Bücher
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
59.00 EUR
53.49 EUR
9% Off
Teilen:
Angebote
Gesponsert
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)
Medimops DE
53.49 EUR
04-08-2026 19:09:45
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
59.00 EUR
04-08-2026 13:50:30
Ähnliche Produkte
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
81.80 EUR
Automated Theorem Proving: Theory and Practice
111.98 EUR
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
84.40 EUR
Mechanical Geometry Theorem Proving (Mathematics and Its Applications) (Mathematics and Its Applications, 41, Band 41)
106.99 EUR
Interactive Theorem Proving
52.94 EUR
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
77.00 EUR
Medimops DE 
SpringerLink DE 
