華通書坊
註冊 登入
 精準搜尋
書名: Theorem Proving in Higher Order Logics 2007 <SV> 978-3-540-74590-7
作者: K. Schneider
ISBN: 9783540745907
出版社: Springer
書籍開數、尺寸: 23.37x17.17x2.39
頁數: 399
定價: 2582元
售價: 2582元
庫存: 已售完
LINE US!
此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

Theorem Proving in Higher Order Logics 2007 <SV> 978-3-540-74590-7

定價: 2582 售價: 2582 現省: 0

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

為您推薦

Theorem Proving in Higher Order Logics 2008<SV>978-3-540-71065-3

Theorem Proving in Higher Order Logics 2008<SV>978-3-540-71065-3

類似書籍推薦給您

原價: 2250 售價: 2250 現省: 0元
立即查看
THEOREM PROVING IN HIGHER ORDER LOGICS 2005<SV>3-540-28372-2

THEOREM PROVING IN HIGHER ORDER LOGICS 2005<SV>3-540-28372-2

類似書籍推薦給您

原價: 2279 售價: 2279 現省: 0元
立即查看
THEOREM PROVING IN HIGHER ORDER LOGICS 2004<SV>3-540-23017-3

THEOREM PROVING IN HIGHER ORDER LOGICS 2004<SV>3-540-23017-3

類似書籍推薦給您

原價: 2037 售價: 2037 現省: 0元
立即查看
THEOREM PROVING IN HIGHER ORDER LOGICS 2003 <SV> 3-540-40664-6

THEOREM PROVING IN HIGHER ORDER LOGICS 2003 <SV> 3-540-40664-6

類似書籍推薦給您

原價: 1950 售價: 1950 現省: 0元
立即查看
THEOREM PROVING IN HIGHER ORDER LOGICS 2001 <SV> 3-540-42525-X

THEOREM PROVING IN HIGHER ORDER LOGICS 2001 <SV> 3-540-42525-X

類似書籍推薦給您

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