TOP
0
0
【簡體曬書節】 單本79折,5本7折,優惠只到5/31,點擊此處看更多!

縮小範圍


商品類型

原文書 (4)
商品狀況

可訂購商品 (4)
庫存狀況

無庫存 (4)
商品定價

$800以上 (4)
出版日期

2024年 (1)
2022~2023 (1)
2018~2019 (1)
2016年以前 (1)
裝訂方式

平裝 (3)
精裝 (1)
作者

William M. Farmer (2)
Florian Rabe (EDT)/ William M. Farmer (EDT)/ Grant O. Passmore (EDT)/ Youssef Abdou (EDT) (1)
James H. Davenport (EDT)/ William M. Farmer (EDT)/ Florian Rabe (EDT)/ Josef Urban (EDT) (1)
出版社/品牌

Birkhauser (1)
Springer Nature (1)
Springer-Nature New York Inc (1)
Springer-Verlag New York Inc (1)

三民網路書店 / 搜尋結果

4筆商品,1/1頁
Simple Type Theory: Practical Logic for Expressing and Reasoning about Mathematical Ideas
作者:William M. Farmer  出版社:Springer Nature  出版日:2023/01/16 裝訂:精裝
若需訂購本書,請電洽客服
02-25006600[分機130、131]。
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas
作者:William M. Farmer  出版社:Birkhauser  出版日:2024/01/16 裝訂:平裝
定價:2925 元, 優惠價:1 2925
無庫存,下單後進貨(到貨天數約30-45天)
Intelligent Computer Mathematics ― 11th International Conference, Cicm 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
90折
?This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers
定價:3150 元, 優惠價:9 2835
無庫存,下單後進貨(到貨天數約30-45天)
Intelligent Computer Mathematics
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the
若需訂購本書,請電洽客服
02-25006600[分機130、131]。

暢銷榜

客服中心

收藏

會員專區