國立高雄大學圖資館 |

Language: English

Back to Search results for [ subject:"Set theory." ]

Set theory for computing :from decis...

Cantone, Domenico.

Set theory for computing :from decision procedures to declarative programming with sets /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Set theory for computing :Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwatz.
Reminder of title:	from decision procedures to declarative programming with sets /
Author:	Cantone, Domenico.
other author:	Omodeo, Eugenio.
Published:	New York :Springer,c2001.
Description:	xviii, 409 p. :ill. ;24 cm.
Series:	Monographs in computer science
Subject:	Set theory.
ISBN:	0387951970 (alk. paper) :

Set theory for computing :from decision procedures to declarative programming with sets /
Cantone, Domenico.

Set theory for computing :from decision procedures to declarative programming with sets /Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwatz. - New York :Springer,c2001. - xviii, 409 p. :ill. ;24 cm. - Monographs in computer science.

Includes bibliographical references (p. [374]-391) and indexes.

ISBN: 0387951970 (alk. paper) :NT$2529

LCCN: 2001020446Subjects--Topical Terms:

190892
Set theory.

LC Class. No.: QA248 / C232 2001

Dewey Class. No.: 511.3/22

Set theory for computing :from decision procedures to declarative programming with sets /
LDR:00728nam 2200193 a 450 001 149798
005 19990408095106.0
008 090528s2001 nyua 001 0 eng
010 $a 2001020446
020 $a 0387951970 (alk. paper) : $c NT$2529
035 $a 00044344
040 $a DLC $c DLC $d DLC
042 $a pcc
050 0 0 $a QA248 $b C232 2001
082 0 0 $2 21 $a 511.3/22
100 $a Cantone, Domenico. $3 199852
245 1 0 $a Set theory for computing : $b from decision procedures to declarative programming with sets / $c Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwatz.
260 $a New York : $c c2001. $b Springer,
300 $a xviii, 409 p. : $b ill. ; $c 24 cm.
440 0 $a Monographs in computer science
504 $a Includes bibliographical references (p. [374]-391) and indexes.
650 $a Set theory. $3 190892
650 $a Computable functions. $3 190932
700 $a Omodeo, Eugenio. $3 199850
700 $a Policriti, Alberto. $3 199851