このページのリンク

Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz
(Monographs in computer science)

データ種別 図書
出版者 New York : Springer Verlag
出版年 c2001
本文言語 英語
大きさ xviii, 409 p. : ill. ; 24 cm

所蔵情報を非表示

泉:図書館閉架地下2階書庫
QA/248sc a3001012506b
0387951970

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 Cantone, Domenico
Omodeo, Eugenio
Policriti, Alberto
Schwartz, Jacob T
件 名 Set theory
Computable functions
分 類 DDC:511.3/22
LCC:QA248
書誌ID 1000654054
ISBN 0387951970
NCID BA53174047 WCLINK

 類似資料