Building a push-button RESOLVE verifier: Progress and challenges
Murali Sitaraman; Bruce Adcock; Jeremy Avigad; Derek Bronish; Paolo Bucci; David Frazier; Harvey M. Friedman; Heather Harton; Wayne Heym; Jason Kirschenbaum; Joan Krone; Hampton Smith; Bruce W. Weide
- 作者Murali Sitaraman; Bruce Adcock; Jeremy Avigad; Derek Bronish; Paolo Bucci; David Frazier; Harvey M. Friedman; Heather Harton; Wayne Heym; Jason Kirschenbaum; Joan Krone; Hampton Smith; Bruce W. Weide
- 卷第23卷
- 期第5期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小1038.22KB
- 发表时间2011-09
- DOI10.1007/s00165-010-0154-3
- 页码607-626