First Page | Document Content | |
---|---|---|
Date: 2003-07-03 23:51:49Automated theorem proving Formal systems Model theory Z notation Richard Waldinger SNARK Logic programming Axiom First-order logic Logic Mathematics Mathematical logic | Add to Reading ListSource URL: www.ai.sri.comDownload Document from Source WebsiteFile Size: 1,14 MBShare Document on Facebook |