YAPP-Continuum Hypothesis · 2. 素朴集合論要摘 3. 証明論とモデル理論,および,レーベンハイム・スコーレムの定理 4. 公理的集合論 zfc 概要
Title デフォルト推論における自然な拡張と帰納推...
11
Title デフォルト推論における自然な拡張と帰納推論(計算アル ゴリズムと計算量の基礎理論) Author(s) 湯浅, 寛子 Citation 数理解析研究所講究録 (1988), 666: 135-144 Issue Date 1988-07 URL http://hdl.handle.net/2433/100676 Right Type Departmental Bulletin Paper Textversion publisher Kyoto University
Transcript of Title デフォルト推論における自然な拡張と帰納推...
Title デフォルト推論における自然な拡張と帰納推論(計算アルゴリズムと計算量の基礎理論)
Author(s) 湯浅, 寛子
Citation 数理解析研究所講究録 (1988), 666: 135-144
Issue Date 1988-07
URL http://hdl.handle.net/2433/100676
Right
Type Departmental Bulletin Paper
Textversion publisher
Kyoto University
数理解析研究所講究録666巻 1988年 135-144