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 /

Lignende værker

• 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)
• Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /
  af: Claude Bolduc, Jules Desharnais, Béchir Ktari
  Udgivet: (2010, c2010)
• Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings /
  af: James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe
  Udgivet: (2011, c2011)
• Sequences and Their Applications - SETA 2010 : 6th International Conference, Paris, France, September 13-17, 2010. Proceedings /
  af: Claude Carlet, Alexander Pott
  Udgivet: (2010, c2010)
• 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 /
  af: Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
  Udgivet: (2012, c2012)