文献
J-GLOBAL ID：200902055366371525   整理番号：92A0105591

TABLEAUX:様相論理における一般的定理証明システム

TABLEAUX: A General Theorem Prover for Modal Logics.
著者 (1件)：
CATACH L

CATACH L について

(Paris 6 Univ., FRA)

Paris 6 Univ., FRA について


資料名：
Journal of Automated Reasoning  (Journal of Automated Reasoning)

Journal of Automated Reasoning について


巻： 7  号： 4  ページ： 489-510  発行年： 1991年12月 
JST資料番号： D0269E  ISSN： 0168-7433  CODEN： JAREEW  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
時相・認識・動的論理を含んで広く様相論理一般に適用できる定理...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
人工知能

人工知能 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0105591&from=J-GLOBAL&jstjournalNo=D0269E") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
人工知能 
(JE08000Z)

人工知能 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
様相論理

様相論理 について

, 
定理証明

定理証明 について


前のページに戻る

TOP

BOTTOM