TOP
0
0
古典詩詞的女兒-葉嘉瑩

縮小範圍


商品類型

原文書 (1)
商品狀況

可訂購商品 (1)
庫存狀況

無庫存 (1)
商品定價

$800以上 (1)
出版日期

2016~2017 (1)
裝訂方式

平裝 (1)
作者

Mauricio Ayala-rincon/ Flavio L. C. De Moura (1)
出版社/品牌

Springer-Verlag New York Inc (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
Applied Logic for Computer Scientists ― Computational Deduction and Formal Proofs
90折
作者:Mauricio Ayala-rincon; Flavio L. C. De Moura  出版社:Springer-Verlag New York Inc  出版日:2017/02/13 裝訂:平裝
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available i
無庫存,下單後進貨(到貨天數約30-45天)
定價:2475 元, 優惠價:9 2228

暢銷榜

客服中心

收藏

會員專區