Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859, Band 859)

53.49 EUR 3% Off 54.99 EUR

Marke: Springer

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

-3%

53.49 EUR 54.99 EUR

07-08-2026 12:57:32

Access to the deal

54.99 EUR 54.99 EUR

08-08-2026 03:32:55

Access to the deal