関西学院大学図書館
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • 新着アラート

関西学院大学図書館

検索結果一覧へ戻る

ソフトウェア科学のための論理学

萩谷昌己 [著]. -- 岩波書店, 1994.1. -- (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11). <BW00057350>
便利機能：
目次・あらすじを見る 詳細情報を見る
このページのURL：

ソフトウェア科学のための論理学

萩谷昌己 [著]. -- 岩波書店, 1994.1. -- (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11). <BW00057350>
便利機能：
目次・あらすじを見る 詳細情報を見る
このページのURL：

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

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

No. 巻号 配架場所 請求記号 資料ID 状態 返却予定日 予約
0001 三田４Ｆ集密図書 510.78:1103:11 0001448315 0件
0002 三田４Ｆ集密図書 510.78:1103:11 0001810910 0件
0003 三田４Ｆ図書 510.78:I96s:11 0001213974 0件
0004 上ケ原２Ｆ図書 510.78:1103:11 0025122433 0件
No. 0001
巻号
配架場所 三田４Ｆ集密図書
請求記号 510.78:1103:11
資料ID 0001448315
状態
返却予定日
予約 0件
No. 0002
巻号
配架場所 三田４Ｆ集密図書
請求記号 510.78:1103:11
資料ID 0001810910
状態
返却予定日
予約 0件
No. 0003
巻号
配架場所 三田４Ｆ図書
請求記号 510.78:I96s:11
資料ID 0001213974
状態
返却予定日
予約 0件
No. 0004
巻号
配架場所 上ケ原２Ｆ図書
請求記号 510.78:1103:11
資料ID 0025122433
状態
返却予定日
予約 0件
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 ソフトウェア科学のための論理学 / 萩谷昌己 [著]
ソフトウェア カガク ノ タメ ノ ロンリガク
出版事項 東京 : 岩波書店 , 1994.1
形態 xvii, 220p ; 23cm
シリーズ名等 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編||イワナミ コウザ ソフトウェア カガク <BW02005225> 11//a
巻号情報
ISBN 4000103512
注記 参考書: p213-216
注記 巻末: 事項索引
NCID BN10240152
本文言語 日本語
著者標目 萩谷, 昌己(1957-)||ハギヤ, マサミ <AU00000706>
著者標目 長尾, 真(1936-)||ナガオ, マコト <AU00000694>
分類標目 情報科学 NDC8:007.63
分類標目 科学技術 NDLC:M159
件名標目等 電子計算機||デンシケイサンキ
件名標目等 電子計算機||デンシケイサンキ
件名標目等 記号論理学||キゴウロンリガク
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    他機関から取り寄せる※有料

    • 文献複写申込み(コピー取り寄せ)
    • 図書貸借申込み(現物取り寄せ)