Art
J-GLOBAL ID：200902177927294698   Reference number：99A0019323

Solving Problems by Equivalent Transformation of Declarative Programs.

宣言的プログラムの等価変換による問題解決
Author (3)：
AKAMA KIYOSHI

About AKAMA KIYOSHI

(北大 工)

About 北大 工

, 
SHIMIZU TOMOKUNI

About SHIMIZU TOMOKUNI

(北大 工)

About 北大 工

, 
MIYAMOTO EIICHI

About MIYAMOTO EIICHI

(北大 工)

About 北大 工


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

About 人工知能学会誌


Volume： 13  Issue： 6  Page： 944-952  Publication year： Nov. 1998 
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.
*Problem Solving

About Problem Solving

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0019323&from=J-GLOBAL&jstjournalNo=X0330A") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Artificial intelligence 
(JE08000Z)

About Artificial intelligence

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
宣言

About 宣言

, 
等価変換

About 等価変換

, 
問題解決

About 問題解決


Return to Previous Page

TOP

BOTTOM