离散数学中证明表示的自动改变(扩展版)
@文章{Raggi2015AutomatingCO, title={离散数学中证明表示的自动更改(扩展版)}, author={丹尼尔·拉吉(Daniele Raggi)、阿兰·邦迪(Alan Bundy)、古德蒙德·格罗夫(Gudmund Grov)和艾莉森·皮斯(Alison Pease)}, 期刊={计算机科学中的数学}, 年份={2015年}, 体积={10}, 页面={429-457}, url={https://api.sympicscholar.org/CorpusID:16073315} }
5引文
Цифровые возможности повышения эффективности обучения математике Цифровые возможности повышения эффективности обучения математике
2024
38参考文献
提升和转移:Isabelle/HOL中商的模块化设计
2013
SMT求解器:HOL定理证明器的新预言
2011
机构:规范和编程的抽象模型理论
1992