MKM

ID:DA13918484

Alias Name: International Conference, Mathematical Knowledge Management

Search authors sharing the same name

Search Results1-4 of 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

Available at 3 libraries
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

Available at 6 libraries
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

Available at 15 libraries
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

Available at 23 libraries

Search this author

Related Authors