|
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を表示
|
言語 |
英語 |
出版国 |
アメリカ合衆国 |
この本を:
|
件が連想されています
|