資料詳細

  • 1 件中、 1 件目

線型論理入門 利用可

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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ４階自然 Map 11 /410.96/ﾀｹ/669100 1106691000 閲可 貸可 協可 －

ページの先頭へ

資料詳細

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

ページの先頭へ