定性空間表現の Coq による形式化およびその平面性の証明
定性空間表現の Coq による形式化およびその平面性の証明
复制标题
使用 Coq 形式化定性空间表示并证明其平坦性
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
後藤瑞貴，森口草介，高橋和子
中科院分区：
文献类型：
--
作者：
Shinya Kurimoto;Nao Maeda and Hiroyoshi Miwa;Shunsuke Ohtsuki and Hiroyoshi Miwa;藤木 淳，赤穗 昭太郎;Fadoua Ghourabi and Kazuko Takahashi;S. Akaho;横浜静夏，高橋和子;赤穂昭太郎;後藤瑞貴，森口草介，高橋和子
