Revising basic theorem proving algorithms to cope with the logic of partial functions

✍ Scribed by Jones, Cliff B.; Lovert, Matthew J.; Steggles, L. Jason

• Book ID: 122023486
• Publisher: Elsevier Science
• Year: 2014
• Tongue: English
• Weight: 897 KB
• Volume: 94
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2013.09.007