Sale!

Symbolic Computation and Automated Reasoning The CALCULEMUS 2000 Symposium 1st Edition Manfred Kerber (Editor)

Original price was: $50.00.Current price is: $35.00.

Symbolic Computation and Automated Reasoning The CALCULEMUS 2000 Symposium 1st Edition Manfred Kerber (Editor) Digital Instant Download

Author(s): Manfred Kerber (Editor); Michael Kohlhase (Editor)
ISBN(s): 9781568811451, 1568811454
Edition: 1
File Details: PDF, 15.19 MB
Year: 2001
Language: english
SKU: EB-12051566 Category: Tags: ,

Symbolic Computation and Automated Reasoning The CALCULEMUS 2000 Symposium 1st Edition Manfred Kerber (Editor) – Ebook Instant Download/Delivery ISBN(s): 9781568811451,1568811454