華通書坊
註冊 登入
 精準搜尋
書名: Automated Reasoning with Analytic Tableaux and Related Methods 2007 <SV> 978-3-540-73098-9
作者: Nicola Olivetti
ISBN: 9783540730989
出版社: Springer
書籍開數、尺寸: 23.27x16x1.55
頁數: 244
定價: 2023元
售價: 2023元
庫存: 已售完
LINE US!
此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

Automated Reasoning with Analytic Tableaux and Related Methods 2007 <SV> 978-3-540-73098-9

定價: 2023 售價: 2023 現省: 0

付款方式: 超商取貨付款 line pay
信用卡 全支付
線上轉帳 Apple pay
物流方式: 超商取貨
宅配
門市自取

為您推薦

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS 2005<SV>3-540-28931-3

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS 2005<SV>3-540-28931-3

類似書籍推薦給您

原價: 2131 售價: 2131 現省: 0元
立即查看
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS 2003 <SV> 3-540-40787-1

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS 2003 <SV> 3-540-40787-1

類似書籍推薦給您

原價: 1680 售價: 1680 現省: 0元
立即查看
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS 1999

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS 1999

類似書籍推薦給您

原價: 1443 售價: 1443 現省: 0元
立即查看
AUTOMATED REASONING WITH ANALYTIC TABLEAUX & RELATED METHODS 1998

AUTOMATED REASONING WITH ANALYTIC TABLEAUX & RELATED METHODS 1998

類似書籍推薦給您

原價: 1480 售價: 1480 現省: 0元
立即查看
Automated Reasoning 2008 ＜SV＞978-3-540-71069-1

Automated Reasoning 2008 ＜SV＞978-3-540-71069-1

類似書籍推薦給您

原價: 3195 售價: 3195 現省: 0元
立即查看