عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.613
QA
76
.
L28
Vol
.
613
کتابخانه
محل استقرار
Constructivity in computer science : Summer Symposium: San Antonio, TX, June 19-22, 1991: proceedings
1991: San Antonio, Tx
Berlin
Springer-Verlag
c1992
x, 246p.: ill
Lecture notes in computer science; 316
Papers presented at the Symposium on Constructivity in Computer Science, spon. by Trinity Univ., the Univ. of Chicago,& the Asso. for Symbolic Logic
Includes bibliographies
ISBN: 3540556311
J.P. Myers, Jr., M.J. O'Donnell, eds
1
Congresses ، Computer science -- Mathematics
QA
76
.
L28
Vol
.
613
AU
AU Myers, J. Paul, 1946-
AU O'Donnell, Michael J., 1952-
TI
SE
Summer Symposium on Constructivity in Computer Science
