CADE-18 Workshop: Problems and Problem Sets Contents:  John Harrison Invited talk: Extracting Test Problems from Real Applications  J

Source URL: www.cs.miami.edu

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Software engineering
• TPTP
• Automated reasoning
• SPASS
• Reasoning system
• Prolog
• Model elimination
• OMDoc
• System on TPTP