Automated Reasoning with Analytic Tableaux and Related Methods (Lecture Notes in Computer Science, Vol.1227)
Galmiche, Didier
編
発行年月 |
1997年04月 |
---|
|
出版国 |
ドイツ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
paper |
---|
|
ページ数/巻数 |
XII, 380 p. |
---|
|
|
ジャンル |
洋書/理工学/情報科学/人工知能 |
---|
|
|
ISBN |
9783540629207 |
---|
|
商品コード |
0209729153 |
---|
|
|
|
本の性格 |
議事録 |
---|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209729153 |
---|
内容
The papers in this volume cover the spectrum of tableaux-based theoremproving and its applications, including theoretical foundations,methodological issues, implementation techniques, and system development.They deal with classical, modal, intuitionistic, many-valued and temporallogic.