[17] J. S. Moore, “Milestones from the pure lisp theorem prover to ACL2,” ... Available: http://ijcai.org/Proceedings/73/Papers/053.pdf [19] N. Vazou, ...
確定! 回上一頁