Art
J-GLOBAL ID：200902023358407899   Reference number：92A0608780

A Denotational Semantics for Logic Program.

論理プログラムの表示的意味論
Author (1)：
YAMASAKI S

About YAMASAKI S

(Okayama Univ., Okayama, JPN)

About Okayama Univ., Okayama, JPN


Material：
電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))

About 電子情報通信学会技術研究報告


Volume： 92  Issue： 151(COMP92 23-28)  Page： 49-57  Publication year： Jul. 23, 1992 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  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.
アトム[論理]

About アトム[論理]

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0608780&from=J-GLOBAL&jstjournalNo=S0532B") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Applied programming languages 
(JD03052Y)

About Applied programming languages

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
論理プログラム

About 論理プログラム

, 
表示的意味論

About 表示的意味論


Return to Previous Page

TOP

BOTTOM