First Page | Document Content | |
---|---|---|
Date: 2014-03-02 18:28:46Automated theorem proving Logic in computer science Model theory Proof theory Proof assistant Isabelle HOL Logic for Computable Functions Mathematical proof Mathematical logic Theoretical computer science Logic | Motivation Identifying Standard Theories Extracting ProofsAdd to Reading ListSource URL: www.gilith.comDownload Document from Source WebsiteFile Size: 324,76 KBShare Document on Facebook |