定理证明器Coq的理论扩展与在组合逻辑验证中的应用_王前

【文件属性】：

文件名称：定理证明器Coq的理论扩展与在组合逻辑验证中的应用_王前

文件大小：1.17MB

文件格式：CAJ

更新时间：2019-07-03 13:58:49

Coq 组合逻辑验证

定理证明器Coq的理论扩展与在组合逻辑验证中的应用 王前