عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 A47 1987
QA76
.
9
.
M35
A47
1987
کتابخانه
محل استقرار
0821851004
9780821851005
b736853
Categories in computer science and logic :
[Book]
proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
John W. Gray and Andre Scedrov, editors.
Providence, R.I. :
American Mathematical Society,
©1989.
x, 382 pages :
illustrations ;
26 cm.
Contemporary mathematics,
v. 92
0271-4132 ;
"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"--Title page verso.
Includes bibliographical references.
Categories in computer science and logic.
Categories (Mathematics), Congresses.
Computer science-- Mathematics, Congresses.
Catégories (Mathématiques), Congrès.
Informatique-- Mathématiques, Congrès.
Categories (Mathematics)
Catégories (Mathématiques)-- Congrès.
Computer science-- Mathematics.
Informatique-- Mathématiques-- Congrès.
004/
.
01/5
20
QA76
.
9
.
M35
A47
1987
*
00B25
03-06
18-06
31
.
10
31
.
27
31
.
80
54
.
53
68-06
msc
msc
msc
bcl
bcl
bcl
bcl
msc
Gray, John W., (John Walker),1931-
Ščedrov, Andrej,1955-
AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic(1987 :, University of Colorado, Boulder)
National Science Foundation (U.S.)
20201203210033.0
مطالعه متن کتاب [Book]
Y
