TOP
💡 邁向小一的第一步!給孩子一本「查得到自信」的專屬辭典,輕鬆跨越閱讀關卡!🚀
縮小範圍
商品類型
商品定價
出版日期
裝訂方式
出版社/品牌
搜尋結果 /

Dover Books on Computer Science

1
1 / 1
Logic for Computer Science ─ Foundations of Automatic Theorem Proving
滿額折
出版日:2014/10/22 作者:Jean H. Gallier  出版社:Dover Pubns  裝訂:平裝
Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatm
優惠價: 9 1127
無庫存
  • 1
    1

暢銷榜

客服中心

收藏

會員專區