鈴木 淳之 | 静岡大学工学部知能情報工学科
スポンサーリンク
概要
関連著者
-
鈴木 淳之
静岡大学工学部知能情報工学科
-
鈴木 淳之
静岡大学情報学部
-
中松 和己
姫路工業大学
-
鈴木 淳之
静岡大学
-
鈴木 淳之
静岡大 情報
-
中松 和己
静岡大学工学部
-
王 国傑
静岡大学大学院電子科学研究科
-
田辺 公一朗
静岡大学大学院電子科学研究科
著作論文
- 定義階層構造に基づく問題解決階層の決定
- 仮定にもとづく知識管理システムの関連論理による形式化
- 一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)
- 内包の外延への還元可能性について (計算機構の数学的研究)