検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 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.) T2 Lecture notes in computer science A1 Conference on Category Theory and Computer Science A1 Pitt, David (David H.) A1 Rydeheard, D. E. (David E.) A1 Johnstone, P. T YR 1995 FD c1995 SP 252 p. K1 Electronic digital computers -- Programming -- Congresses K1 Categories (Mathematics) -- Congresses PB Springer PP Berlin ; New York SN 3540601643 LA English (英語) CL LCC:QA76.6 CL DC20:005.13/1 NO Includes bibliographical references and index NO 書誌ID=1000524543; NCID=BA25573689; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000524543 OL 30