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

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

30-04-2026 12:37:39

Access to the deal

53.49 EUR 53.49 EUR

30-04-2026 14:22:55

Access to the deal