الكتب الالكترونية

عدد الكتب: 6/6
978-3-540-39730-4
Artificial Intelligence and Symbolic Computation

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...

اقرأ المزيد
978-3-540-85110-3
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 ...

اقرأ المزيد
978-3-540-31431-8
Mathematical Knowledge Management (vol. # 3863)

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...

اقرأ المزيد
978-3-540-37106-9
Mathematical Knowledge Management (vol. # 4108)

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, ...

اقرأ المزيد
978-3-540-37898-3
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 ...

اقرأ المزيد
978-3-540-73086-6
Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

اقرأ المزيد
عدد الكتب: 6/6