نتائج بحث المؤلف

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