華通書坊
註冊 登入
 精準搜尋
書名: Automated Reasoning 2008 ＜SV＞978-3-540-71069-1
作者: Alessandro Armando
ISBN: 9783540710691
出版社: Springer
書籍開數、尺寸: 23.6x15.5x3.3
頁數: 556
定價: 3195元
售價: 3195元
庫存: 已售完
LINE US!
此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

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

定價: 3195 售價: 3195 現省: 0

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

為您推薦

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

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

類似書籍推薦給您

原價: 2023 售價: 2023 現省: 0元
立即查看
AUTOMATED REASONING 2006<SV>3-540-37187-7

AUTOMATED REASONING 2006<SV>3-540-37187-7

類似書籍推薦給您

原價: 3220 售價: 3220 現省: 0元
立即查看
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 2004<SV>3-540-22345-2

AUTOMATED REASONING 2004<SV>3-540-22345-2

類似書籍推薦給您

原價: 2727 售價: 2727 現省: 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元
立即查看