ID:DA13918484
International Conference, Mathematical Knowledge Management
同姓同名の著者を検索
Manuel Kauers ... [et al.] (eds.)
Springer c2007 Lecture notes in computer science 4573 . Lecture notes in artificial intelligence
所蔵館3館
Michael Kohlhase (ed.)
Springer c2006 Lecture notes in computer science 3863
所蔵館6館
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)
Springer c2004 Lecture notes in computer science 3119
所蔵館15館
Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Springer c2003 Lecture notes in computer science 2594
所蔵館23館