![](/img/cover-not-exists.png)
Milestones from the Pure Lisp theorem prover to ACL2
Moore, J. StrotherLanguage:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-019-00490-3
Date:
July, 2019
File:
PDF, 532 KB
english, 2019