資料詳細

  • 1 件中、 1 件目

岩波講座 情報科学 7 貸出可

-- 岩波書店 -- 1983.1 -- 007.08

  • 総合評価
    5段階評価の0.0
    (0)
  • レビュー
    0

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 書庫 /007//3-7 1101147500 一般 　 在架 iLisvirtual

ページの先頭へ

資料詳細

タイトル岩波講座 情報科学
タイトルカナイワナミ コウザ ジョウホウ カガク
巻次7
出版地東京
出版者岩波書店
出版年1983.1
ページ数202p
大きさ22cm
各巻書名論理と意味
各巻書名カナロンリ ト イミ
各巻著者長尾 真／[著],淵 一博／[著]
各巻著者カナナガオ マコト,フチ カズヒロ
一般件名情報科学
NDC分類(8版) 007.08
書誌番号1100083787

ページの先頭へ

内容一覧

タイトル 著者名 ページ
記号論理学
命題論理
述語論理
述語論理のモデル理論
述語論理とプログラミング
様相と内包
Montague文法入門

ページの先頭へ

レビュー一覧

レビューが登録されていません。

ページの先頭へ