Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Providence, R.I.
نام ناشر، پخش کننده و غيره
American Mathematical Society
تاریخ نشرو بخش و غیره
1989
مشخصات ظاهری
نام خاص و کميت اثر
x, 382 p. : ill. ; 26 cm
فروست
عنوان فروست
Contemporary mathematics, ISSN 1720-2314, v. 29
يادداشت کلی
متن يادداشت
"The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation"--T.p verso
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer science-- Mathematics-- Congresses
عنصر شناسه ای
، Categories )Mathematics(--Congresses
رده بندی کنگره
شماره رده
QA
76
.
9
.
M35
.
A47
1987
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
John W. Gray and Andre Scedrov, editors
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU reklaW nhoJ ,yarG 1931-
عنصر شناسه اي
AU jerdnA ,vordecS 1955-
عنصر شناسه اي
CO National Science Foundation
عنصر شناسه اي
TI
عنصر شناسه اي
SE
عنصر شناسه اي
SE Contemporary mathematics )American Mathematical Society(, ; v. 92
شناسه افزوده (تنالگان)
عنصر شناسه اي
AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic)1987: University of Colorado, Boulder(