Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
- Author
- Manfred Kerber (Editor)Michael Kohlhase (Editor)
- Publisher
- A K Peters/CRC Press
- Edition
- 1
- Year
- 2001
- ISBN
- 9781568811451,9781439864234,9780429064302
- File Type
- pdf
- File Size
- 15.2 MiB
How to Download?!!!
Just click on START button on Telegram Bot