Mathematical Knowledge Management
8. MKM / 16. Calculemus 2009: Grand Bend, Canada
Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (Eds.):
Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings.
Lecture Notes in Computer Science 5625 Springer 2009, ISBN 978-3-642-02613-3
Contents
7. MKM / 8. AISC / 15. Calculemus 2008: Birmingham, UK
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Eds.):
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.
Lecture Notes in Computer Science 5144 Springer 2008, ISBN 978-3-540-85109-7
Contents
6. MKM / 14. Calculemus 2007: Hagenberg, Austria
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (Eds.):
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings.
Lecture Notes in Computer Science 4573 Springer 2007, ISBN 978-3-540-73083-5
Contents
5. MKM 2006: Wokingham, UK
Jonathan M. Borwein, William M. Farmer (Eds.):
Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings.
Lecture Notes in Computer Science 4108 Springer 2006, ISBN 3-540-37104-4
Contents
4. MKM 2005: Bremen, Germany
Michael Kohlhase (Ed.):
Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3863 Springer 2006, ISBN 3-540-31430-X
Contents
3. MKM 2004: Bialowieza, Poland
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (Eds.):
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings.
Lecture Notes in Computer Science 3119 Springer 2004, ISBN 3-540-23029-7
Contents
2. MKM 2003: Bertinoro, Italy
Andrea Asperti, Bruno Buchberger, James H. Davenport (Eds.):
Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings.
Lecture Notes in Computer Science 2594 Springer 2003, ISBN 3-540-00568-4
Contents
Copyright © Mon Mar 15 03:47:10 2010
by Michael Ley (ley@uni-trier.de)