自动和交互式定理证明的轻量级集成

卡里姆·坎索,安东·塞泽尔.自动和交互式定理证明的轻量级集成.计算机科学中的数学结构, 26(1):129-153,2016 [美国国防部]

作者

卡里姆·坎索

这位作者尚未确定身份。在谷歌中查找“Karim Kanso”

安东·塞泽尔

这位作者尚未确定身份。在谷歌中查找“Anton Setzer”