Jump to main content

yr 〜
yr

Search results 3

OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy. (Lecture notes in computer science ; 4180 ; Lecture notes in artificial intelligence. AI systems)

OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy. (Lecture notes in computer science ; 4180 ; Lecture notes in artificial intelligence. AI systems)
Paper図書
Springerc2006.<X>
National Diet Library
  • Author HeadingKohlhase, Michael, 1964-

KI 2006: advances in artificial intelligence : 29th annual German conference on AI, KI 2006 : Bremen, Germany, June 14-17, 2006 : proceedings. : Jun 2006, Bremen, Germany. (Lecture Notes in Computer Science ; 4314. Lecture Notes in Artificial Intelligence)

KI 2006: advances in artificial intelligence : 29th annual German conference on AI, KI 2006 : Bremen, Germany, June 14-17, 2006 : proceedings. : Jun 2006, Bremen, Germany. (Lecture Notes in Computer Science ; 4314. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-829>
National Diet Library
  • Author HeadingFreksa, C. Kohlhase, Michael, 1964- Schill, Kerstin. German Confe...

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
  • Author HeadingKohlhase, Michael, 1964- International Conference on M...

Reached to the end of result.

RSS