Sökresultat med upphovsmän

1

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

av Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques
Publicerad 2020

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Hämta fulltext

2

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Publicerad 2001

Övriga upphovsmän: “...Wang, Dongming....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt