文献

J-GLOBAL ID：200902165171229422   整理番号：99A0861861

システム抽象 E 0.3

System Abstract: E 0.3.

著者 (1件)： SCHULZ S (Technische Univ. Muenchen, Muenchen, DEU)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 1632  ページ： 297-301  発行年： 1999年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 解説  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： Eは等式を有する節論理のための完全自動定理証明器である。本論...

シソーラス用語： *定理証明 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0861861&from=J-GLOBAL&jstjournalNo=H0078D") }}

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (1件)： 抽象