Αποτελέσματα αναζήτησης συγγραφέα

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