Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction

Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science, 607, Band 607)

106.99 EUR

Marke: Springer Berlin Heidelberg

ISBN: 3540556028

MPN: 6902889

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

106.99 EUR 106.99 EUR

26-08-2026 20:28:49

Access to the deal

106.99 EUR 106.99 EUR

27-08-2026 05:46:06

Access to the deal