検索結果 1 - 2 結果 / 2 検索語 'Wang, Dongming', 処理時間: 0.03秒 結果の絞り込み
1
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 /
出版事項 2001
その他の著者: “...Wang, Dongming....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
検索ツール: RSSフィード — 検索結果をメール