Näytetään 1 - 2 yhteensä 2 tuloksesta haulle 'Wang, Dongming', hakuaika: 0,03s Tarkenna hakua
1
Artificial Intelligence and Symbolic Computation
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Hae kokoteksti
Lisää suosikkeihin
Tallennettuna:
2
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Julkaistu 2001
Muut tekijät: “...Wang, Dongming....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lisää suosikkeihin
Tallennettuna:
Työkalut: RSS-syöte — Lähetä haku sähköpostilla