この文献を取り寄せる

このページのリンク

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
(Contemporary mathematics ; v. 92)

データ種別 図書
出版者 Providence, R.I. : American Mathematical Society
出版年 c1989
形態 x, 382 p. ; 26 cm
著者標目 AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder)
Gray, John Walker, 1931-
Ščedrov, Andrej, 1955-
National Science Foundation
件 名 Electronic data processing -- Mathematics -- Congresses  全ての件名で検索
Categories (Mathematics) -- Congresses  全ての件名で検索
分 類 NDC:410.8
NDC:549.92
DDC:004/.01/5
LCC:QA76.9.M35
書誌ID LT00279510

所蔵情報を非表示


中央自動書庫 410.8/A44-2/1-92 010809193010X 9780821851005





中央自動書庫 410.8/A44-2/1-92+2 0108823890100 9780821851005




書誌詳細を非表示

本文言語 英語
一般注記 "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 bibliographies
NCID BA07072047
巻冊次 ISBN:0821851004
電子体 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
目次/あらすじ

 類似資料