<図書>

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone (eds.)

(Lecture notes in computer science;953)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工6・計数
84:P:14 1010644001


理7・CS図
39:L:1.953 2012579559

7655/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Category 8010131822


書誌詳細を非表示

出版者 Berlin ; New York ; Tokyo : Springer
出版年 c1995
大きさ 252 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
"This volume contains papers presented at the Sixth meeting of the Biennial Conference on Category Theory and Computer Science (CTCS)"--Pref
著者標目 *Conference on Category Theory and Computer Science (6th : 1995 : Cambridge, England)
Pitt, David (David H.)
Rydeheard, D. E. (David E.)
Johnstone, P. T
件 名 LCSH:Electronic digital computers -- Programming -- Congresses
LCSH:Categories (Mathematics) -- Congresses
分 類 LCC:QA76.6
DC20:005.13/1
本文言語 英語
書誌ID 2000406807
ISBN 3540601643
NCID BA25573689 WCLINK

検索結果一覧に戻る ページトップ