Art

J-GLOBAL ID：200902015702504472   Reference number：85A0144876

Realization of set and multiple world in PIE.

PIEにおける集合および多重世界の実現方式

Author (4)： AIDA HITOSHI (東大工) ,  MATSUBARA KENJI (東大工) ,  TANAKA HIDEHIKO (東大工) ,  MOTOOKA TOORU (東大工)
Material： 情報処理学会全国大会講演論文集
Volume： 29th  Issue： 1  Page： 79-80  Publication year： 1984 
JST Material Number： S0731A  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： predicative logic ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=85A0144876&from=J-GLOBAL&jstjournalNo=S0731A") }}

JST classification (1)： Digital computer systems in general  (JC02010O)

Terms in the title (3)： 集合 ,  多重 ,  世界