Back to Results
First PageMeta Content
Functional languages / Lisp / Automated theorem proving / Theoretical computer science / Procedural programming languages / ACL2 / Nqthm / J Strother Moore / ACL / Common Lisp / Formal methods / Automated reasoning


The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop
Add to Reading List

Document Date: 2006-07-11 15:25:07


Open Document

File Size: 4,46 MB

Share Result on Facebook