資料詳細

  • 1 件中、 1 件目

線型論理入門 貸出可

竹内 外史／著 -- 日本評論社 -- 1995.1 -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /410.9/ﾀ/ 111951075 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル 線型論理入門
タイトルカナ センケイ ロンリ ニュウモン
著者 竹内 外史 ／著  
著者カナ タケウチ ガイシ
出版者 日本評論社
出版年 1995.1
ページ数 234p
大きさ 22cm
一般件名 記号論理学
ISBN 4-535-78214-8 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類記号 410.96
内容紹介 1.古典論理 2.直観論理 3.線型論理LL 4.LLの基本定理 5.MALLとQBF 6.述語線型論理とカウンター・マシン 7.直観主義的線型論理ILL 8.HornプログラムとHorn線型論理 9.命題変数の除去 ほか1章

ページの先頭へ