Art
J-GLOBAL ID：200902045828409161   Reference number：92A0353904

Implementation of subset-equational programs.

部分集合方程式プログラムの実現
Author (1)：
JAYARAMAN B

About JAYARAMAN B

(State Univ. New York at Buffalo, NY)

About State Univ. New York at Buffalo, NY


Material：
Journal of Logic Programming  (J Log Program)

About Journal of Logic Programming


Volume： 12  Issue： 4  Page： 299-324  Publication year： Apr. 1992 
JST Material Number： B0231B  ISSN： 0743-1066  CODEN： JLPRE2  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  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.
logic programming

About logic programming

,...
Semi 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.
WAM

About WAM


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0353904&from=J-GLOBAL&jstjournalNo=B0231B") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
System programmings in general 
(JD03010Y)

About System programmings in general

,  Language processors 
(JD03040F)

About Language processors

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
部分集合

About 部分集合

, 
方程式

About 方程式


Return to Previous Page

TOP

BOTTOM