机构名称：
¥ 3.0
[1] Zulkoski，E.，Ganesh，V.，Czarnecki，K。：Mathcheck：通过计算机代数系统和SAT求解器的组合，数学助理。in：Felty，A.P.，Middeldorp，A。（eds。）自动扣除国际会议，pp。607–622。Springer，Cham（2015）[2]Ábrahám，E。：在符号计算和满足性检查之间建造桥梁。2015 ACM关于符号和代数计算国际研讨会的会议论文集，pp。1-6。ACM（2015）ACM（2015）
Kochen Specker Full幻灯片
主要关键词
相关文件推荐
