Artificial Intelligence and Symbolic Computation
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...
اقرأ المزيد
Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
اقرأ المزيد
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
اقرأ المزيد
Mathematical Knowledge Management (vol. # 4108)
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...
اقرأ المزيد
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their ...
اقرأ المزيد
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيد
