عنوان
پدید آورنده
موضوع
رده
QA 76 .7 .Z47 1991
QA
76
.
7
.
Z47
1991
کتابخانه
محل استقرار
103067
تابستان۴۷
English
)20(
Zhang, Guo-Qiang
1960-
Logic of domains
Boston
Birkhauser
1991
259 p. : ill. ; 25 cm
Progress in theoretical computer science
Revision of thesis )Ph. D.(--University of Cambridge, 1989
Includes bibliographical references )p. 251-256( and index
، Programming languages )Electronic computers(-- Semantics
، Logic, Symbolic and mathematical
QA
76
.
7
.
Z47
1991
AU
Guo-Qiang Zhang
TI
SE
02
