Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Documenti analoghi

• Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings /
  di: Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
  Pubblicazione: (2013)
• Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings /
  di: James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe
  Pubblicazione: (2011)
• Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings /
  di: Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt
  Pubblicazione: (2009)
• Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers /
  di: Deepak Kapur
  Pubblicazione: (2008)
• 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 /
  di: Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
  Pubblicazione: (2010)