Kuroiwa Sogo | <sup>1</sup>Department of Physics and Mathematics, Aoyama Gakuin University, 5-10-1 Fuchinobe, Sagamihara, Kanagawa 229-8558
スポンサーリンク
概要
- 同名の論文著者
- <sup>1</sup>Department of Physics and Mathematics, Aoyama Gakuin University, 5-10-1 Fuchinobe, Sagamihara, Kanagawa 229-8558の論文著者
論文 | ランダム
- Annotated Semantics for Nonmonotonic ATMS
- Paraconsistent Formalism for the Closed World Assumption
- Automatic Theorem Proving for Many-Sorted Free Description Theory with Equality
- 一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)
- 内包の外延への還元可能性について (計算機構の数学的研究)