7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170, Band 170)

97.98 EUR 8% Off 106.99 EUR

Marke: Springer New York

ISBN: 0387960228

MPN: 6900909

SKU: 6900909

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

-8%

Gesponsert 7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170, Band 170)

97.98 EUR 106.99 EUR

29-08-2026 13:27:39

Access to the deal

106.99 EUR 106.99 EUR

29-08-2026 14:55:51

Access to the deal