Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)

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: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)

53.49 EUR
Preis aktualisiert am: 22-05-2026 10:15:10
Siehe Produktangebot

Gesponsert Theorem Proving in Higher Order Logics

53.49 EUR
Preis aktualisiert am: 22-05-2026 02:28:46
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Springer

Springer ist eine Marke, die sich auf die Herstellung von Fahrrädern spezialisiert hat. Die Fahrräder von Springer sind hochwertig und überzeugen mit einem ansprechenden Design. Sie sind in verschiedenen Farben erhältlich und bieten eine Vielzahl an Ausstattungsoptionen.