熱搜：

百年孤寂

NEW 千呼萬喚始出來，紅利積點抵現金，趕快讓你的積點變現金！

165反詐騙

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

縮小範圍

商品類型

原文書（2）

商品狀況

可訂購商品（2）

庫存狀況

無庫存（2）

商品定價

$800以上（2）

出版日期

2016年以前（2）

裝訂方式

平裝（1）

精裝（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）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共2筆商品，1/1頁

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]。

共2 筆
1 頁

暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區

熱搜：

新基本小六法

買書看棒球!

書展書籍五折起

Pixar Inside Out 2

Haikyu!!

洞見：從科學到哲學

繁花