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

Marke: Springer

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

53.49 EUR 53.49 EUR

16-06-2026 13:00:23

Access to the deal

53.49 EUR 53.49 EUR

16-06-2026 19:19:22

Access to the deal