Initial experiments with TPTP-style automated theorem provers on ACL2 problems
- S.J.C. Joosten
- , C. Kaliszyk
- , J. Urban
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3
Link opens in a new tab
Citations
(Scopus)
1
Downloads
(Pure)