Tottori University of Environmental Studies · Center for Human Development Education · 教授

Research keywords数理論理学・モデル検査・定理証明・形式手法・構成的数学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 関係の連続性2020

• Official profile