Mathematical Reasoning With Diagrams ─ From Intuition to Automation
商品資訊
系列名：Csli Lecture Notes
ISBN13：9781575863238
出版社：Stanford Univ Center for the Study
作者：Mateja Jamnik
出版日：2001/11/01
裝訂／頁數：精裝／204頁
規格：23.5cm*15.9cm*1.9cm (高/寬/厚)
定價
：NT$ 3900 元無庫存，下單後進貨(到貨天數約30-45天)
下單可得紅利積點：117 點
商品簡介
作者簡介
相關商品
商品簡介
Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system--called Diamond--which allows users to prove arithmetical theorems using diagrams.
作者簡介
Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.
今日66折
您曾經瀏覽過的商品
購物須知
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。