電子情報通信学会 知識ベース 7群1編「ソフトウェア基礎」2章「定理証明と検証法」3節「SAT」執筆
電子情報通信学会 知識ベース 7群1編「ソフトウェア基礎」2章「定理証明と検証法」3節「SAT」執筆
复制标题
IEICE 知识库，第 7 组，第 1 卷，“软件基础知识”，第 2 章，“定理证明和验证方法”，第 3 节，“SAT”写作
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
廣川直
中科院分区：
文献类型：
--
作者：
Nao Hirokawa;Georg Moser;廣川直;廣川直
