[PDF] psu.edu

[图书][B] Design goals for ACL2

M Kaufmann, JS Moore - Citeseer
ACL2 is a theorem proving system under development at Computational Logic, Inc., by the
authors of the Boyer-Moore system, Nqthm, and its interactive enhancement, Pc-Nqthm …
被引用次数：90 相关文章
[PDF] utexas.edu

[PDF][PDF] Design Goals for ACL2

M Kaufmann, JS Moore - cs.utexas.edu
ACL2 is a theorem proving system under development at Computational Logic, Inc., by the
authors of the Boyer-Moore system, Nqthm, and its interactive enhancement, Pc-Nqthm …
[PS] computationallogic.com

[PS][PS] Design Goals for ACL2

M Kaufmann, JS Moore - computationallogic.com
ACL2 is a theorem proving system under development at Computational Logic, Inc., by the
authors of the Boyer-Moore system, Nqthm, and its interactive enhancement, Pc-Nqthm …
[PS] computationallogic.com

[PS][PS] Design Goals for ACL2

M Kaufmann, JS Moore - computationallogic.com
ACL2 is a theorem proving system under development at Computational Logic, Inc., by the
authors of the Boyer-Moore system, Nqthm, and its interactive enhancement, Pc-Nqthm …
[PDF] psu.edu

[PDF][PDF] Design Goals for ACL2

M Kaufmann, JS Moore - Citeseer
ACL2 is a theorem proving system under development at Computational Logic, Inc., by the
authors of the Boyer-Moore system, Nqthm, and its interactive enhancement, Pc-Nqthm …
[PS] computationallogic.com

[PS][PS] Design Goals for ACL2

M Kaufmann, JS Moore - computationallogic.com
ACL2 is a theorem proving system under development at Computational Logic, Inc., by the
authors of the Boyer-Moore system, Nqthm, and its interactive enhancement, Pc-Nqthm …
[PDF] utexas.edu

[PDF][PDF] Design Goals for ACL2

M Kaufmann, JS Moore - cs.utexas.edu
ACL2 is a theorem proving system under development at Computational Logic, Inc., by the
authors of the Boyer-Moore system, Nqthm, and its interactive enhancement, Pc-Nqthm …