Результаты поиска авторов

1

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

по Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques
Опубликовано 2020

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

Полный текст

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 /

Опубликовано 2001

Другие авторы: “...Wang, Dongming....”

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