عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .M35 .C655 1992
QA
76
.
9
.
M35
.
C655
1992
کتابخانه
محل استقرار
97880
115550
زمستان۴۷
English
)20-12(
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings
Berlin, New York
Springer-Verlag
1992
x, 246 p. : ill. ; 25 cm
Lecture notes in computer science; 316
Contains papers presented at the Symposium on Constructivity in Computer Science held in San Antonio, Tex., June 19-22, 1991, sponsored by Trinity University, the University of Chicago, and the Association for Symbo
Includes bibliographical references and index
، Computer science-- Mathematics-- Congresses
QA
76
.
9
.
M35
.
C655
1992
TI
J.P. Myers, Jr., M.J. O'Donnell, eds
AU (luaP .J).P .J ,sreyM 1946-
AU .J leahciM ,llennoD'O 1952-
SE
02
131
