熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 3 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Handbook of Automated Reasoning
reasoning using induction; higher-order logic, whichis used in a number of automatic and interactive proof-development systems...... more |
||
|
Handbook of Automated Reasoning
reasoning using induction; higher-order logic, whichis used in a number of automatic and interactive proof-development systems...... more |
||
|
Handbook of Automated Reasoning
|
搜尋推薦
另外從您輸入的關鍵字中，推薦您關鍵字: j. a. 的結果(請點選看全部符合的商品)
-
吞嚥障礙評估與治療
優惠價: 95 折, 523 元 -
歡迎來到小朋友的數學實驗室：9大原理37個實驗，一生受用的數學原理(隨書附贈數感實驗室《賴以威老師給家長的9堂數學課》)
優惠價: 79 折, 300 元 -
教師諮商技巧(第二版)
優惠價: 95 折, 209 元 -
社區諮商-多元社會的賦能策略
優惠價: 95 折, 456 元 -
決戰中途島
優惠價: 9 折, 315 元 -
幼兒獨立生活技能訓練手冊
優惠價: 95 折, 475 元
