ID:DA12405440
Workshop on Automated Deduction in Geometry, International
ADG
Search authors sharing the same name
Francisco Botana, Tomas Recio (eds.)
Springer c2007 Lecture notes in computer science 4869 . Lecture notes in artificial intelligence
Available at 3 libraries
Hoon Hong, Dongming Wang (eds.)
Springer c2006 Lecture notes in computer science 3763 . Lecture notes in artificial intelligence
Available at 8 libraries
Franz Winkler (ed.)
Springer c2004 Lecture notes in computer science 2930 . Lecture notes in artificial intelligence
Available at 19 libraries
Jürgen Richter-Gebert, Dongming Wang (eds.)
Springer c2001 Lecture notes in computer science 2061 . Lecture notes in artificial intelligence
Available at 26 libraries
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Springer c1999 Lecture notes in computer science 1669 . Lecture notes in artificial intelligence
Available at 31 libraries
Dongming Wang (ed.)
Springer c1997 Lecture notes in computer science 1360 . Lecture notes in artificial intelligence
Available at 39 libraries
