First Page | Document Content | |
---|---|---|
Date: 2012-03-27 15:38:49Computer science Logic in computer science Formal methods Artificial intelligence Automated reasoning Conference on Automated Deduction International Joint Conference on Automated Reasoning Theoretical computer science Applied mathematics Automated theorem proving | The IMPS Bibliography William M. Farmer∗ Joshua D. Guttman† Computing and SoftwareAdd to Reading ListSource URL: imps.mcmaster.caDownload Document from Source WebsiteFile Size: 55,42 KBShare Document on Facebook |