Mathematical Knowledge Management
11. MKM / 11. AISC / 19. Calculemus 2012: Bremen, Germany
Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (Eds.):
Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings.
Lecture Notes in Computer Science 7362 Springer 2012, ISBN 978-3-642-31373-8
Contents 
10. MKM / 18. Calculemus 2011: Bertinoro, Italy
James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (Eds.):
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings.
Lecture Notes in Computer Science 6824 Springer 2011, ISBN 978-3-642-22672-4
Contents
9. MKM / 10. AISC / 17. Calculemus 2010: Paris, France
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (Eds.):
Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings.
Lecture Notes in Computer Science 6167 Springer 2010, ISBN 978-3-642-14127-0
Contents
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 A. 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
Last update Mon May 20 23:59:53 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
