Art
J-GLOBAL ID：200902131041450192   Reference number：95A0659117

Analogical Type Theory.

アナロジー的型理論
Author (2)：
YI B

About YI B

(Nanjing Univ., Nanjing, CHL)

About Nanjing Univ., Nanjing, CHL

, 
XU J

About XU J

(Nanjing Univ., Nanjing, CHL)

About Nanjing Univ., Nanjing, CHL


Material：
Journal of Symbolic Computation  (J Symb Comput)

About Journal of Symbolic Computation


Volume： 19  Issue： 1/3  Page： 3-24  Publication year： Jan. 1995 
JST Material Number： D0359D  ISSN： 0747-7171  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.
type theory

About type theory

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

About Artificial intelligence

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
アナロジー

About アナロジー

, 
型理論

About 型理論


Return to Previous Page

TOP

BOTTOM