Mathematical Knowledge Management
12. MKM / Calculemus / DML 2013: Bath, UK
Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (Eds.): Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7961 ISBN 978-3-642-39319-8 [ contents ]- Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR-WS.org 2013 CEUR Workshop Proceedings 1010 [ contents ]
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. Springer 2012 Lecture Notes in Computer Science 7362 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. Springer 2011 Lecture Notes in Computer Science 6824 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. Springer 2010 Lecture Notes in Computer Science 6167 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. Springer 2009 Lecture Notes in Computer Science 5625 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. Springer 2008 Lecture Notes in Computer Science 5144 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. Springer 2007 Lecture Notes in Computer Science 4573 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. Springer 2006 Lecture Notes in Computer Science 4108 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. Springer 2006 Lecture Notes in Computer Science 3863 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. Springer 2004 Lecture Notes in Computer Science 3119 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. Springer 2003 Lecture Notes in Computer Science 2594 ISBN 3-540-00568-4 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team