<図書>

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen

(The MIT Press series in artificial intelligence)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工2・図書室
410.1:W36 1010247656


理7・CS図
SN11:W:2 2012261513

保存書庫(旧研究室資料)
4

駒場Ⅱキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
先端研・図書
510.6:A939 7612018007


書誌詳細を非表示

出版者 Cambridge, Mass. : MIT Press
出版年 c1990
大きさ 239 p. : ill. ; 24 cm
別書名 背表紙タイトル:Automated deduction in nonclassical logics
一般注記 Bibliography: p. [228]-234
Includes indexes
著者標目 *Wallen, Lincoln A.
件 名 LCSH:Proof theory
LCSH:Modality (Logic)
LCSH:Intuitionistic mathematics
分 類 LCC:QA9.54
DC20:511.3
NDC7:410.12
本文言語 英語
書誌ID 2000120257
ISBN 0262231441
NCID BA0786395X WCLINK

ページトップ