Symbolic Computation and Automated Reasoning The CALCULEMUS 2000 Symposium 1st Edition Manfred Kerber (Editor) – Ebook Instant Download/Delivery ISBN(s): 9781568811451,1568811454
Sale!
Symbolic Computation and Automated Reasoning The CALCULEMUS 2000 Symposium 1st Edition Manfred Kerber (Editor)
Original price was: $50.00.$35.00Current price is: $35.00.
Symbolic Computation and Automated Reasoning The CALCULEMUS 2000 Symposium 1st Edition Manfred Kerber (Editor) Digital Instant Download
ISBN(s): 9781568811451, 1568811454
Edition: 1
File Details: PDF, 15.19 MB
Year: 2001
Language: english