Record:   Prev Next
作者 Cantone, Domenico
書名 Set theory for computing : from decision procedures to declarative programming with sets / Domenico cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz
出版項 New York : Springer, c2001
國際標準書號 0387951970 (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser F4.1 C232    在架上    30330000042387
說明 xviii, 409 p. : ill. ; 25 cm
系列 Monographs in computer science
附註 Includes bibliographical references (p. [374]-391) and index
主題 Set theory
Computable functions
Alt Author Omodeo, Eugenio
Policriti, Alberto
Record:   Prev Next