Art
J-GLOBAL ID：200902183030715305   Reference number：94A0334010

Proof-number search.

証明数の探索
Author (3)：
ALLIS L V

About ALLIS L V

(Univ. Limburg, Maastricht, NLD)

About Univ. Limburg, Maastricht, NLD

, 
VAN DER MEULEN M

About VAN DER MEULEN M

(Univ. Limburg, Maastricht, NLD)

About Univ. Limburg, Maastricht, NLD

, 
VAN DEN HERIK H J

About VAN DEN HERIK H J

(Univ. Limburg, Maastricht, NLD)

About Univ. Limburg, Maastricht, NLD


Material：
Artificial Intelligence  (Artif Intell)

About Artificial Intelligence


Volume： 66  Issue： 1  Page： 91-124  Publication year： Mar. 1994 
JST Material Number： E0180C  ISSN： 0004-3702  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.
game theory

About game theory

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

About Artificial intelligence

,  Theory of computation 
(JB02000A)

About Theory of computation

,  Game thoery 
(KA03060T)

About Game thoery

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
証明

About 証明

, 
探索

About 探索


Return to Previous Page

TOP

BOTTOM