Automated Deduction - Cade-12

Name: Automated Deduction - Cade-12 | 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings
Price: 117.75 EUR
Availability: OutOfStock
ISBN: 978-0-387-58156-9

12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings

Springer (Verlag)

Erschienen am 1. Juli 1994

Buch

Softcover

848 Seiten

978-0-387-58156-9 (ISBN)

117,75 €inkl. 7% MwSt.

Artikel leider nicht lieferbar

Weitere Details

Person

Als PDF speichern Als Link merken