Home Advanced Search

Advanced Search - Page 1

Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Carette, Jacques; Kaliszyk, Cezary; Kerber, Manfred; Rabe, Florian; Sorge, Volker (eds)
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Eugene C. Freuder (auth.), Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (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
  • PDF
  • English
  • Year: 2008
  • Author: Steve Linton (auth.), 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
  • PDF
  • English
  • Year: 2008
  • Author: Steve Linton (auth.), Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (eds.)
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andreas Distler, Muhammad Shah, Volker Sorge (auth.), 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
  • PDF
  • English
  • Year: 2011
  • Author: Andreas Distler, Muhammad Shah, Volker Sorge (auth.), 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
  • PDF
  • English
  • Year: 2011
  • Author: Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (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
  • PDF
  • English
  • Year: 2012
  • Author: Jesse Alama, Lionel Mamane, Josef Urban (auth.), 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
  • PDF
  • English
  • Year: 2012
  • Author: Jesse Alama, Lionel Mamane, Josef Urban (auth.), Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (eds.)
Advances in Nuclear Dynamics 3
  • PDF
  • English
  • Year: 1997
  • Author: Heinz Sorge (auth.), Wolfgang Bauer, Alice Mignerey (eds.)
search