ID:DA13918484
International Conference, Mathematical Knowledge Management
Search authors sharing the same name
Manuel Kauers ... [et al.] (eds.)
Springer c2007 Lecture notes in computer science 4573 . Lecture notes in artificial intelligence
Available at 3 libraries
Michael Kohlhase (ed.)
Springer c2006 Lecture notes in computer science 3863
Available at 6 libraries
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)
Springer c2004 Lecture notes in computer science 3119
Available at 15 libraries
Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Springer c2003 Lecture notes in computer science 2594
Available at 23 libraries