Jump to main content

yr 〜
yr

Search results 5

Mathematical knowledge management : 4th international conference, MKM 2005 : Bremen, Germany, July 15-17, 2005 : revised selected papers. : annual MKM conference : Jul 2005, Bremen, Germany. (Lecture Notes in Computer Science ; 3863. Lecture Notes in Artificial Intelligence)

Mathematical knowledge management : 4th international conference, MKM 2005 : Bremen, Germany, July 15-17, 2005 : revised selected papers. : annual MKM conference : Jul 2005, Bremen, Germany. (Lecture Notes in Computer Science ; 3863. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-06-1176>
National Diet Library
  • Subject Heading...-- Congresses. Information storage and retrieval systems -- Mathematics -- Congresses. Automatic theorem proving --...

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
  • Subject Heading...-- Congresses. Information storage and retrieval systems -- Mathematics -- Congresses. Automatic theorem proving --...

Mathematical knowledge management : third international conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings. : Sep 2004, Bialowieza, Poland. (Lecture Notes in Computer Science ; 3119)

Mathematical knowledge management : third international conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings. : Sep 2004, Bialowieza, Poland. (Lecture Notes in Computer Science ; 3119)
Paper図書
Springerc2004.<M17-05-584>
National Diet Library
  • Subject Heading...-- Congresses. Information storage and retrieval systems -- Mathematics -- Congresses. Automatic theorem proving --...

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. : Feb 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2594)

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. : Feb 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2594)
Paper図書
Springerc2003.<M17-03-1114>
National Diet Library
  • Subject Heading...-- Congresses. Information storage and retrieval systems -- Mathematics -- Congresses. Automatic theorem proving --...

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
  • Subject Heading... -- Congresses Information storage and retrieval systems -- Mathematics -- Congresses
  • Subject Heading (ID)... -- Congresses Information storage and retrieval systems -- Mathematics -- Congresses

Reached to the end of result.

RSS