篠田 寿一 | 名古屋大学人間情報学研究科
スポンサーリンク
概要
関連著者
著作論文
- Type 2 ObjectでのRecursion (ブール代数値の解析学と超準解析)
- Silver Machineについて (数学基礎論)
- KOLMOGOROV COMPLEXITY AND P-PRINTABLE SETS(Metamathematics and it's applications)
- A NOTE ON A POLYNOMIAL TIME REDUCIBILITY(Mathematical Logic and Applications'92)