| Document Type
|
:
|
BL
|
| Record Number
|
:
|
982483
|
| Doc. No
|
:
|
b736853
|
| Main Entry
|
:
|
AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic(1987 :, University of Colorado, Boulder)
|
| Title & Author
|
:
|
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 /\ John W. Gray and Andre Scedrov, editors.
|
| Publication Statement
|
:
|
Providence, R.I. :: American Mathematical Society,, ©1989.
|
| Series Statement
|
:
|
Contemporary mathematics,; v. 92
|
| Page. NO
|
:
|
x, 382 pages :: illustrations ;; 26 cm.
|
| ISBN
|
:
|
0821851004
|
|
|
:
|
: 9780821851005
|
| Notes
|
:
|
"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.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Subject
|
:
|
Categories (Mathematics), Congresses.
|
| Subject
|
:
|
Computer science-- Mathematics, Congresses.
|
| Subject
|
:
|
Catégories (Mathématiques), Congrès.
|
| Subject
|
:
|
Informatique-- Mathématiques, Congrès.
|
| Subject
|
:
|
Categories (Mathematics)
|
| Subject
|
:
|
Catégories (Mathématiques)-- Congrès.
|
| Subject
|
:
|
Computer science-- Mathematics.
|
| Subject
|
:
|
Informatique-- Mathématiques-- Congrès.
|
| Dewey Classification
|
:
|
004/.01/5
|
| LC Classification
|
:
|
QA76.9.M35A47 1987
|
| NLM classification
|
:
|
*00B25msc
|
|
|
:
|
03-06msc
|
|
|
:
|
18-06msc
|
|
|
:
|
31.10bcl
|
|
|
:
|
31.27bcl
|
|
|
:
|
31.80bcl
|
|
|
:
|
54.53bcl
|
|
|
:
|
68-06msc
|
| Added Entry
|
:
|
Gray, John W., (John Walker),1931-
|
|
|
:
|
Ščedrov, Andrej,1955-
|
| Added Entry
|
:
|
National Science Foundation (U.S.)
|