MKM

ID:DA13918484

別名: International Conference, Mathematical Knowledge Management

同姓同名の著者を検索

検索結果4件中 1-4 を表示

1

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

Manuel Kauers ... [et al.] (eds.)

Springer c2007 Lecture notes in computer science 4573 . Lecture notes in artificial intelligence

所蔵館3館
2

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

Michael Kohlhase (ed.)

Springer c2006 Lecture notes in computer science 3863

所蔵館6館
3

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

Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

Springer c2004 Lecture notes in computer science 3119

所蔵館15館
4

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

Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)

Springer c2003 Lecture notes in computer science 2594

所蔵館23館

この著者を外部サイトでさがす

関連著者

ページトップへ