Showing 1 - 2 results of 2 for search 'Wang, Dongming', query time: 0.03s Refine Results
1
Artificial Intelligence and Symbolic Computation
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
2
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Published 2001
Other Authors: “...Wang, Dongming....”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search