First Page | Document Content | |
---|---|---|
Date: 2006-07-11 15:25:07Functional 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 WorkshopAdd to Reading ListSource URL: www.cs.miami.eduDownload Document from Source WebsiteFile Size: 4,46 MBShare Document on Facebook |