公立鳥取環境大学 · 人間形成教育センター · 教授

研究キーワード数理論理学・モデル検査・定理証明・形式手法・構成的数学

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 関係の連続性2020

• 公式プロフィール