ID:DA12405440
Workshop on Automated Deduction in Geometry, International
ADG
同姓同名の著者を検索
Francisco Botana, Tomas Recio (eds.)
Springer c2007 Lecture notes in computer science 4869 . Lecture notes in artificial intelligence
所蔵館3館
Hoon Hong, Dongming Wang (eds.)
Springer c2006 Lecture notes in computer science 3763 . Lecture notes in artificial intelligence
所蔵館8館
Franz Winkler (ed.)
Springer c2004 Lecture notes in computer science 2930 . Lecture notes in artificial intelligence
所蔵館19館
Jürgen Richter-Gebert, Dongming Wang (eds.)
Springer c2001 Lecture notes in computer science 2061 . Lecture notes in artificial intelligence
所蔵館26館
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Springer c1999 Lecture notes in computer science 1669 . Lecture notes in artificial intelligence
所蔵館31館
Dongming Wang (ed.)
Springer c1997 Lecture notes in computer science 1360 . Lecture notes in artificial intelligence
所蔵館39館