| FindBook |
|
有 1 項符合
International Conference on Automated Deduction 2000 Pittsburgh的圖書 |
 |
$ 6950 | Automated Deduction - Cade-17: 17th International Conference on Automated Deduction, Pittsburgh, Pa, Usa, June 2000 : Proceeding
作者：International Conference on Automated Deduction 2000 Pittsburgh 出版社：Springer 出版日期：2000-06-05 語言：英文 規格：平裝 / 526頁 / 23.4 x 15.5 x 2.8 cm / 普通級/ 初版  博客來 - 計算機概論
- 來源網頁  看圖書介紹
|
|
|
評分：
|
