Jump to main content

yr 〜
yr

Search results 12

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

Mathematical knowledge management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers

Mathematical knowledge management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers
Paper図書
Michael Kohlhase (ed.)Springerc2006
Other Libraries in Japan
  • Author HeadingMKM Kohlhase, Michael

Mathematical knowledge management : Third International Conference, MKM 2004, Białowieża, Poland, September, 19-21, 2004 : proceedings

Mathematical knowledge management : Third International Conference, MKM 2004, Białowieża, Poland, September, 19-21, 2004 : proceedings
Paper図書
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingMKM Asperti, Andrea Bancerek, Grz...

Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings

Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Paper図書
Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingMKM Asperti, Andrea Buchberger, B...

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
  • Additional TitleCulculemus/MKM 2011.
  • Author HeadingCalculemus 2011 (2011 : Bertinoro, Italy) Davenport, James H. MKM 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) MKM 2010 (2010 : Paris, France)

Mathematical knowledge management : 5th international conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedings. : Aug 2006, Wokingham, UK. (Lecture Notes in Computer Science ; 4108. Lecture Notes in Artificial Intelligence)

Mathematical knowledge management : 5th international conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedings. : Aug 2006, Wokingham, UK. (Lecture Notes in Computer Science ; 4108. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-06-2603>
National Diet Library
  • Note (General)...ge Management (MKM 2006) held August 10-12, 2006...
  • Author HeadingBorwein, Jonathan M. Farmer, William Michael. MKM 2006 (2006 : Wokingham, Engla...

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...ter scientist) MKM (Conference) (12th : 2013 : B...

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
  • Alternative TitleMKM/CALCULEMUS 2007
  • Alternative TitleMKM/CALCULEMUS 2007
  • Author Heading...reis, Austria) MKM 2007 (2007 : Hagenberg im Muh...

Bernd Koberling : werke 1963-2017

Bernd Koberling : werke 1963-2017
Paper図書
[Herausgeber, Walter Smerling, Christian Malycha]Stiftung für Kunst und Kulturc2017
Other Libraries in Japan
  • Note (General)...ition, held at MKM Museum Küppersmühle für Moder...
  • Author HeadingKoberling, Bernd Smerling, Walter Malycha, Christian MKM Museum Küppersmühle für Moder...

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...ge Management, MKM (7th : 2008 : Birmingham, UK)

Gerhard Hoehme : die Unruhe wächst : Werke 1955-1989

Gerhard Hoehme : die Unruhe wächst : Werke 1955-1989
Paper図書
[herausgegeben von Susanne Rennert und Gerhard und Margarete Hoehme-Stiftung]DuMontc2009
Other Libraries in Japan
  • Note (General)...bition held at MKM Museum Küppersmühle für Moder...
  • Author Heading...oehme-Stiftung MKM Museum Küppersmühle für Moder...

Reached to the end of result.

RSS