室蘭工業大学蔵書検索システム
ログイン
  • 目録検索 検索メニュー ▼
  • マイライブラリ マイライブラリ ▼
    • 利用状況確認・貸出延長
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • 文献複写申込
    • 図書借用申込
    • 図書購入リクエスト

室蘭工業大学蔵書検索システム

検索結果一覧へ戻る

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs

Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no Hotel. -- Corporate & Scientific Programs IBM Japan, 1981. <TY00310316>
便利機能：
詳細情報を見る
書誌URL：

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs

Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no Hotel. -- Corporate & Scientific Programs IBM Japan, 1981. <TY00310316>
便利機能：
詳細情報を見る
書誌URL：

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

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

No. 巻冊次等 配置場所・配架マップ 資料ID 請求記号 禁帯出区分 状態 返却期限日 備考 予約件数
0001 1F電動書庫(洋雑誌) 837292 帯出可 0件
No. 0001
巻冊次等
配置場所・配架マップ 1F電動書庫(洋雑誌)
資料ID 837292
請求記号
禁帯出区分 帯出可
状態
返却期限日
備考
予約件数 0件
このページのTOPへ

書誌詳細

標題および責任表示 Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs / Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no Hotel
出版・頒布事項 Tokyo : Corporate & Scientific Programs IBM Japan , [1981]
形態事項 431 p. : ill., charts ; 31 cm
注記 Includes bibliographical references
学情ID BA0355939X
本文言語コード 英語
著者標目リンク *IBM Symposium on Mathematical Foundations of Computer Science <AU00370987> (6th : 1981 : Hakone Yama no Hotel)
著者標目リンク IBM Japan. Corporate & Scientific Programs <AU00370989>
分類標目 LCC:QA76
件名標目等 Computer science literature
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    NII書誌検索

    他の図書館から取り寄せる

    • 文献複写申込.
    • 図書借用申込.

    この書誌のQRコード