عنوان
پدید آورنده
موضوع
رده
QA 248 .C26S4
QA
248
.
C26S4
کتابخانه
محل استقرار
Set theory for computing : from decision procedures to declarative programming with sets
New York
Springer-Verlg
c2001
xviii, 409 p.: ill., tables
Monographs in computer science
Oxford science publications
Bibliography: p.]374[-391
ISBN: 0387951970
Domenico Cantone, Eugenio Omodeo, Alberto Policriti; foreword by Jacob T. Schwatzrro, and Eugenio Omodeo
1
، Set theory
، Computable functions
QA
248
.
C26S4
Cantone, Domenico
AU
AU Omodeo, Eugenio
AU Policriti, Alberto
TI
SE
