青山学院大学図書館
ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス MyLibrary（利用者サービス）▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • 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). <BB00246510>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る レビューを見る 詳細情報を見る
書誌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). <BB00246510>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る レビューを見る 詳細情報を見る
書誌URL：

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

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 予約 WEB書棚
0001 相数理資料室 相数理室L111 510.8||L84||V.177 779200234 0件
No. 0001
巻号
所蔵館 相数理資料室
配置場所 相数理室L111
請求記号 510.8||L84||V.177
資料ID 779200234
状態
コメント
予約 0件
WEB書棚
このページのTOPへ
このページの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 <BB01223583> 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 <AU40129668> (1991 : Durham)
著者標目リンク Fourman, M. P., 1950- <AU40129669>
著者標目リンク Johnstone, P. T <AU40129670>
著者標目リンク Pitts, A. M <AU40094413>
分類標目 DC20:004.01
分類標目 代数学 NDC8:411.7
分類標目 情報科学 NDC8:007.6
このページのTOPへ
前の画面へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    この書誌のQRコード