Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Lincoln A. Wallen

この本の情報

書名 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
著作者等 Wallen, Lincoln A.
書名別名 Automated deduction in nonclassical logics
シリーズ名 The MIT Press series in artificial intelligence
出版元 MIT Press
刊行年月 c1990
ページ数 239 p.
大きさ 24 cm
ISBN 0262231441
NCID BA0786395X
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想