লেখক অনুসন্ধানের ফলাফল

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