定理証明支援系に基づく形式検証
定理証明支援系に基づく形式検証
复制标题
基于定理证明支持系统的形式化验证
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
アフェルト レナルド
中科院分区：
文献类型：
--
作者：
Atsushi Kurokawa;Masayuki Watanabe;Makoto Hoshi;and Masa-aki Fukase;アフェルト レナルド
