Program Synthesis with Equivalence Reduction
Program Synthesis with Equivalence Reduction
复制标题
具有等价约简的程序综合
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Albarghouthi, Aws
中科院分区：
文献类型：
--
作者：
Smith, Calvin;Albarghouthi, Aws
登录
查看更多内容
DOI：
--
发表时间：
1989
期刊：
影响因子：
--
作者：
H. Aït;M. Nivat
通讯作者：
M. Nivat
有序完成中的终止工具
DOI：
--
发表时间：
2010
期刊：
International Joint Conference on Automated Reasoning
影响因子：
--
作者：
S. Winkler;A. Middeldorp
通讯作者：
A. Middeldorp
WALDMEISTER - 高性能等式推导
DOI：
--
发表时间：
1997
期刊：
Journal of automated reasoning
影响因子：
--
作者：
T. Hillenbrand;A. Buch;R. Vogt;Bernd Löchner
通讯作者：
Bernd Löchner
影响因子：
--
作者：
Xinyu Wang;Işıl Dillig;Rishabh Singh
通讯作者：
Xinyu Wang;Işıl Dillig;Rishabh Singh
学习计划：分层贝叶斯方法
DOI：
--
发表时间：
2010
期刊：
International Conference on Machine Learning
影响因子：
--
作者：
P. Liang;Michael I. Jordan;D. Klein
通讯作者：
D. Klein