Art
J-GLOBAL ID：200902235151275663   Reference number：05A0970046

情報と依存関係の論理

Author (1)：
KOBAYASHI SATOSHI

About KOBAYASHI SATOSHI

(京都産大 理)

About 京都産大 理


Material：
日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))

About 日本ソフトウェア科学会大会講演論文集(CD-ROM)


Volume： 21st  Page： 4D-3  Publication year： 2004 
JST Material Number： X0080B  ISSN： 1348-0901  Document type： Proceedings
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.
*predicative logic

About predicative logic

,...
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.
Kripke意味論

About Kripke意味論

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0970046&from=J-GLOBAL&jstjournalNo=X0080B") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Logic algebra 
(JB03000H)

About Logic algebra

,  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