Art
J-GLOBAL ID：200902117426309641   Reference number：95A0543520

SATCHMORE: SATCHMO with RElevancy.

SATCHMORE 妥当性(rElevancy)を備えたSATCHMO
Author (3)：
LOVELAND D W

About LOVELAND D W

(Duke Univ., NC)

About Duke Univ., NC

, 
REED D W

About REED D W

(Duke Univ., NC)

About Duke Univ., NC

, 
WILSON D S

About WILSON D S

(Duke Univ., NC)

About Duke Univ., NC


Material：
Journal of Automated Reasoning

About Journal of Automated Reasoning


Volume： 14  Issue： 2  Page： 325-351  Publication year： Apr. 1995 
JST Material Number： D0269E  ISSN： 0168-7433  CODEN： JAREEW  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
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.
theorem proving

About theorem proving

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=95A0543520&from=J-GLOBAL&jstjournalNo=D0269E") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

,  Language processors 
(JD03040F)

About Language processors

Terms in the title (1)：
Terms in the title
Keywords automatically extracted from the title.
妥当性

About 妥当性


Return to Previous Page

TOP

BOTTOM