Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings /

Lignende værker

• Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /
  af: Andrea Asperti, Bruno Buchberger, James Harold Davenport
  Udgivet: (2003, c2003)
• 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 /
  af: Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
  Udgivet: (2010, c2010)
• Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings /
  af: Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt
  Udgivet: (2009, c2009)
• 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 /
  af: Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
  Udgivet: (2008, c2008)
• Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings /
  af: Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
  Udgivet: (2013, c2013)