博客來-作者-Matt Manolios

熱門搜尋

分類(單選)	所有商品(2) 圖書(2) 顯示所有篩選
配送方式(可複選)	可海外宅配(2)
其他(可複選)

搜尋結果共 2 筆, 頁數 1 / 1

呈現:

列表
小圖

Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

外文書 , J Strother Kaufmann Matt/ Manolios Panagiotis/ Moore , Springer Verlag , 出版日期: 2000-06-01

優惠價: 12502 元

可訂購時通知我

Computer-aided Reasoning: Acl2 Case Studies

Computer-aided Reasoning: Acl2 Case Studies

外文書 , J Strother Kaufmann Matt/ Manolios Panagiotis (EDT)/ Moore , Ingram , 出版日期: 2000-06-01

優惠價: 19740 元

Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative wa... more

可訂購時通知我

全選

放入購物車

搜尋推薦