ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス My Library ▼
    • 利用状況一覧
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • ILL複写依頼
    • ILL貸借依頼
    • 新規購入依頼

専修大学図書館

検索結果一覧へ戻る

Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991

edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. -- Cambridge University Press, 1992. -- (London Mathematical Society lecture note series ; 177). <BB00279166>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991

edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. -- Cambridge University Press, 1992. -- (London Mathematical Society lecture note series ; 177). <BB00279166>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

No. 所蔵館 配置場所 文庫名 請求記号 巻号 年月次 資料ID 状態 返却予定日 予約
0001 本館 2Fピンク区画 /410/L84/177 203733548 配架済 0件
No. 0001
所蔵館 本館
配置場所 2Fピンク区画
文庫名
請求記号 /410/L84/177
巻号
年月次
資料ID 203733548
状態 配架済
返却予定日
予約 0件
このページのTOPへ

書誌詳細

タイトル・著者名 Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
出版 Cambridge : Cambridge University Press , 1992
形態事項 339 p. : ill., port. ; 23 cm
巻号情報
ISBN 0521427266
シリーズ London Mathematical Society lecture note series <BB00236824> 177//a
注記 "The London Mathematical Society Symposium on Applications of Categories in Computer Science took place in the Department of Mathematical Sciences at the University of Durham from 20 to 30 July 1991"--Pref
注記 Includes bibliographical references
NCID BA1838976X
本文言語コード 英語
著者標目リンク London Mathematical Society Symposium on Applications of Categories in Computer Science <AU00303566> (1991 : Durham)
著者標目リンク Fourman, M. P., 1950- <AU00303565>
著者標目リンク Johnstone, P. T <AU00303564>
著者標目リンク Pitts, A. M <AU00303567>
分類標目 DC20:004.01
分類標目 代数学 NDC8:411.7
分類標目 情報科学 NDC8:007.6
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他大学資料確認

    資料を取り寄せる

    • ILL複写依頼(コピー取り寄せ)

    この書誌のQRコード