Prikaz rezultata 1 – 2 od 2 za pretraživanje 'Wang, Dongming', vrijeme pretraživanja: 0,03s Detaljiziraj rezultate
1
Artificial Intelligence and Symbolic Computation
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Preuzmi cijeli tekst
Spremi u popis
Spremljeno u:
2
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Izdano 2001
Daljnji autori: “...Wang, Dongming....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Spremi u popis
Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom