Interactive Theorem Proving on Hierarchically and Modularly Structured Sets of Very Many Axioms (Mathematical Methods in Software Science and Engineering)
スポンサーリンク
概要
著者
-
Honda Michio
Dept. Of Information Science Kagawa University
-
NAKAJIMA REIJI
Research Institute for Mathematical Sciences, Kyoto University
-
Nakajima Reiji
Research Institute For Mathematical Sciences Kyoto University