博客來-作者-Domenico Omodeo

熱門搜尋

分類(單選)	所有商品(2) 圖書(2) 顯示所有篩選
配送方式(可複選)	可海外宅配(2)
其他(可複選)

搜尋結果共 2 筆, 頁數 1 / 1

呈現:

列表
小圖

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

外文書 , Domenico/ Omodeo Eugenio G./ Davis Jacob T./ Cantone Martin (FRW) Schwartz , Ingram , 出版日期: 2011-07-16

優惠價: 3299 元

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on c... more

放入購物車下次再買

Set Theory for Computing: From Decision Procedures to Logic Programming With Sets

Set Theory for Computing: From Decision Procedures to Logic Programming With Sets

外文書 , Alberto Cantone Domenico/ Omodeo Eugenio/ Policriti , Ingram , 出版日期: 2001-06-26

優惠價: 10000 元

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... more

放入購物車下次再買

全選

放入購物車

搜尋推薦