×

兹马思-数学第一资源

可满足模理论的证明。(英语) Zbl 1431.68111号
Woltzenlogel Paleon,Bruno(编辑)等人,所有关于证据,所有人的证据。伦敦:大学出版物。螺柱。日志(伦敦)55,23-44(2015年)。
整个系列请参见[Zbl 1334.03007号].
理学硕士:
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
68R07型 可满足性的计算方面
V1685型 定理证明(自动和交互式定理证明程序、演绎、解析等)
PDF格式 BibTeX公司 引用