عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .L64 1991
QA
9
.
A1
.
L64
1991
کتابخانه
محل استقرار
102399
تابستان۳۷
English
)20(
Logic from computer science : proceedings of a workshop held November 13-17, 1989
New York
Springer-Verlag
1992
xi, 608 p. : ill. ; 24 cm
Mathematical Sciences Research Institute publications, v. 12
Includes bibliographical references
، Logic, Symbolic and mathematical--Congresses
، Computer science--Congresses
QA
9
.
A1
.
L64
1991
TI
Y.N. Moschovakis, editor
AU .N sinnaiY ,sikavohcsoM
SE Mathematical Sciences Research Institute publications, 21
02
