9th International Conference on Automated Deduction

104.34 EUR 12% Off 118.00 EUR

Marke: Springer

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

-12%

Gesponsert 9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science)

104.34 EUR 118.00 EUR

18-09-2026 14:54:34

Access to the deal

-9%

106.99 EUR 118.00 EUR

16-09-2026 20:22:24

Access to the deal

118.00 EUR 118.00 EUR

18-09-2026 18:08:57

Access to the deal