Jump to main content

yr 〜
yr

Search results 9

Towards mechanized mathematical assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings

Towards mechanized mathematical assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
Paper図書
Manuel Kauers ... [et al.] (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingCalculemus MKM Kauers, Manuel

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6824. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6824. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-425>
National Diet Library
  • Author HeadingCalculemus 2011 (2011 : Bertinoro, Italy...

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. : 10th international conference on artificial intelligence and symbolic computation : 17th symposium on the integration of symbolic computation and mechanised reasoning : 9th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2010 : Jul 2010, Paris, France. (Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)

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. : 10th international conference on artificial intelligence and symbolic computation : 17th symposium on the integration of symbolic computation and mechanised reasoning : 9th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2010 : Jul 2010, Paris, France. (Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-144>
National Diet Library
  • Alternative TitleAISC Calculemus MKM 2010
  • Alternative TitleAISC Calculemus MKM 2010
  • Author Heading...Paris, France) Calculemus 2010 (2010 : Paris, France) M...

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. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada. (Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)

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. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada. (Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-751>
National Diet Library
  • Author Heading...Jacques, Ph.D. Calculemus 2009 (2009 : Grand Bend, Ont....

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-552>
National Diet Library
  • Author Heading...Bath, England) Calculemus (Symposium) (20th : 2013 : Ba...

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007 : 6th international conference, MKM 2007 : Hagenberg, Austria, June 27-30, 2007 : proceedings. : 6th international conference on mathematical knowledge management : Jun 2007, Hagenberg, Austria. (Lecture Notes in Computer Science ; 4573. Lecture Notes in Artificial Intelligence)

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007 : 6th international conference, MKM 2007 : Hagenberg, Austria, June 27-30, 2007 : proceedings. : 6th international conference on mathematical knowledge management : Jun 2007, Hagenberg, Austria. (Lecture Notes in Computer Science ; 4573. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-2354>
National Diet Library
  • Note (General)Papers and abstracts. "Calculemus 2007 was the 14th in a series...
  • Alternative TitleMKM/CALCULEMUS 2007
  • Alternative TitleMKM/CALCULEMUS 2007

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. : 9th international conference on artificial intelligence and symbolic computation : 15th symposium on the integration of symbolic computation and mechanized reasoning : 7th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2008 : Jul 2008, Birmingham, UK. (Lecture Notes in Computer Science ; 5144. Lecture Notes in Artificial Intelligence)

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. : 9th international conference on artificial intelligence and symbolic computation : 15th symposium on the integration of symbolic computation and mechanized reasoning : 7th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2008 : Jul 2008, Birmingham, UK. (Lecture Notes in Computer Science ; 5144. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-08-1886>
National Diet Library
  • Alternative TitleAISC/Calculemus MKM 2008
  • Alternative TitleAISC/Calculemus MKM 2008
  • Author Heading...zed Reasoning, Calculemus (15th : 2008 : Birmingham, UK...

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
Paper図書
edited by Manfred Kerber, Michael KohlhaseA K Petersc2001
Other Libraries in Japan
  • Author HeadingCALCULEMUS Symposium Kerber, Manfred Koh...

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
Paper図書
Jacques Calmet ... [et al.] (eds.)Springerc2002
Other Libraries in Japan
  • Note (General)...tation"--Pref "Calculemus 2002, the 10th symposium on t...
  • Author HeadingInternational Conference AISC Calculemus 2002 Calmet, Jacques Symposiu...

Reached to the end of result.

RSS