Interactive Theorem Proving on Hierarchically and Modularly Structured Sets of Very Many Axioms (Mathematical Methods in Software Science and Engineering)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク