Selected Papers on Automath
- Author
- R. P. Nederpelt
- Publisher
- Elsevier, Academic Press
- Language
- English
- Year
- 1994
- Page
- 1044
- ISBN
- 0444898220,9780444898227,9780080887180
- File Type
- pdf
- File Size
- 38.2 MiB
How to Download?!!!
Just click on START button on Telegram Bot