文献

J-GLOBAL ID：200902234414802918   整理番号：07A0951525

極限計算可能数学のゲーム意味論

著者 (1件)： 小林聡 (京都産大 理)
資料名： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
巻： 24th  ページ： 5D-2  発行年： 2007年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 極限計算可能数学は,構成的数学に弱い排中律をつけ加えたもので...

シソーラス用語： *数学 ,...
準シソーラス用語： *極限計算可能数学 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0951525&from=J-GLOBAL&jstjournalNo=X0080B") }}

分類 (2件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 極限 ,  数学 ,  ゲーム意味論