NCID | BA01242086 |
タイトル | Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.) |
出版者 | Berlin ; Tokyo : Springer-Verlag , c1987 |
形態 | iv, 300 p. : ill. ; 25 cm |
注記 | Includes bibliographies |
シリーズ名 | Lecture notes in computer science ; 283
|
分類 | LCC:QA76.6 DC19:005.1 NDC8:411.8 NDC8:007.64 |
件名 | LCSH:Electronicdigitalcomputers -- Programming
LCSH:Categories(Mathematics)
|
著者情報 | Pitt, David (David H.) Poigné, A. Rydeheard, D. E. (David E.) Conference on Category Theory and Computer Science
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | ドイツ = ドイツ連邦共和国 |
ISBN | 3540185089(: gw) 0387185089(: us)
|