×

兹马思-数学第一资源

在符号计算和可满足性检验之间架起桥梁。(英语) Zbl公司 1345.68279
第40届符号与代数计算国际研讨会论文集,ISSAC 2015,英国巴斯,2015年7月6-9日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3435-8)。1-6(2015年)。

理学硕士:
68立方厘米 符号计算与代数计算
68T15型 定理证明(演绎、解析等)(MSC2010)
68-02年 与计算机科学有关的研究展览会(专著、调查文章)
PDF格式 BibTeX公司 XML 引用
全文: 内政部