TOP
0
0
即日起~6/30,暑期閱讀書展,好書7折起

縮小範圍


商品類型

原文書 (3)
商品狀況

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

無庫存 (3)
商品定價

$800以上 (3)
出版日期

2016年以前 (3)
裝訂方式

平裝 (2)
精裝 (1)
作者

Amilcar Sernadas/ Cristina Sernadas (1)
Walter A. Carnielli/ Marcelo Coniglio/ Dov M. Gabbay/ Paula Gouveia/ Cristina Sernadas (1)
Walter Carnielli/ Marcelo Coniglio/ Dov M. Gabbay/ Paula Gouveia/ Cristina Sernadas (1)
出版社/品牌

Springer Verlag (2)
Lightning Source Inc (1)

三民網路書店 / 搜尋結果

3筆商品,1/1頁
Foundations of Logic and Theory of Computation
滿額折
作者:Amilcar Sernadas; Cristina Sernadas  出版社:Lightning Source Inc  出版日:2008/03/31 裝訂:平裝
定價:1643 元, 優惠價:1 1643
無庫存,下單後進貨(到貨天數約30-45天)
Analysis and Synthesis of Logics
作者:Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia; Cristina Sernadas  出版社:Springer Verlag  出版日:2008/03/05 裝訂:平裝
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and firs
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
Analysis and Synthesis of Logics ─ How to Cut and Paste Reasoning Systems
作者:Walter A. Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia; Cristina Sernadas  出版社:Springer Verlag  出版日:2008/03/05 裝訂:精裝
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and fir
若需訂購本書,請電洽客服
02-25006600[分機130、131]。

暢銷榜

客服中心

收藏

會員專區