Title: Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC
Abstract: MUSCADET is a knowledge-based theorem prover based on natural deduction. It has participated in CADE Automated theorem proving System Competitions. The results show its complementarity with regard ...
Publication Year: 2002
Publication Date: 2002-08-01
Language: en
Type: article
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot