Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005

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 9% Off 59.00 EUR

Marke: Springer

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

-9%

53.49 EUR 59.00 EUR

06-08-2026 06:22:38

Access to the deal

59.00 EUR 59.00 EUR

06-08-2026 00:12:22

Access to the deal