華通書坊
註冊 登入
 精準搜尋
書名: THEOREM PROVING WITH ANALYTIC TABLEAUX & RELATED METHODS 1996
作者: P.MIGLIOLI
ISBN: 9783540612087
出版社: 新月
書籍開數、尺寸: 23.6*15.5
重量: 1.08 Kg
頁數: 336
定價: 1400元
售價: 1400元
庫存: 已售完
LINE US!
此書為本公司代理，目前已售完，有需要可以向line客服詢問進口動向

THEOREM PROVING WITH ANALYTIC TABLEAUX & RELATED METHODS 1996

定價: 1400 售價: 1400 現省: 0

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

為您推薦

THEOREM PROVING WITH ANALYTIC TABLEAUX & RELATED METHODS 1995

THEOREM PROVING WITH ANALYTIC TABLEAUX & RELATED METHODS 1995

類似書籍推薦給您

原價: 1560 售價: 1560 現省: 0元
立即查看
THEOREM PROVING WITH THE REAL NUMBERS 1998

THEOREM PROVING WITH THE REAL NUMBERS 1998

類似書籍推薦給您

原價: 2641 售價: 2641 現省: 0元
立即查看
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 2007 <SV> 978-3-540-74590-7

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

類似書籍推薦給您

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