Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction | Kaicus Deutschland

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
19-06-2026 18:49:14