dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Mar 15 03:47:10 2010 by Michael Ley (ley@uni-trier.de)