عنوان
پدید آورنده
موضوع
رده
QA 76.7 .Z47 1991
QA
76
.
7
.
Z47
1991
کتابخانه
محل استقرار
Logic of Domains
Boston; Berlin
Birkhauser
c1991
259p.: ill
Progress in theoretical computer science
Bibliography: p.251-256
ISBN: 081763570X
Guo-Qiang Zhang
1
، Programming languages )Electronic computers( -- Semantics
، Logic, Symbolic and mathematical
QA
76
.
7
.
Z47
1991
Zhang, Guo-Qiang, 0691-
AU
TI
SE
