Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
We couldn't estimate the reading time for this book.
Publication
2007 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540730866
- ISBN-103540730869
- Better World Books9783540730866
- Open LibraryOL37353871M
Classifications
- LCCQA150-272
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!