Art
J-GLOBAL ID：200902047158317646   Reference number：90A0402199

An algebraic proving principle for predicate logic of first order.

一階述語論理における代数的証明原理
Author (1)：
YAMAZAKI ISAMU

About YAMAZAKI ISAMU

(東芝 総研)

About 東芝 総研


Material：
人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)

About 人工知能学会誌


Volume： 5  Issue： 3  Page： 279-290  Publication year： May. 1990 
JST Material Number： X0330A  ISSN： 0912-8085  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
inference

About inference

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0402199&from=J-GLOBAL&jstjournalNo=X0330A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Logic algebra 
(JB03000H)

About Logic algebra

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
一階述語論理

About 一階述語論理

, 
証明

About 証明

, 
原理

About 原理


Return to Previous Page

TOP

BOTTOM