Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Wang, Dongming', doba hledání: 0,04 s. Upřesnit hledání
1
Artificial Intelligence and Symbolic Computation
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
2
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Vydáno 2001
Další autoři: “...Wang, Dongming....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem