The following pages link to Automated Reasoning (Q5307074):
Displaying 9 items.
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools (Q2642981) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598) (← links)
