The following pages link to (Q4331757):
Displaying 14 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- Completeness results for inequality provers (Q1079960) (← links)
- Proof theory and automated deduction (Q1379289) (← links)
- Automated deduction by theory resolution (Q1821564) (← links)
- Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)
- Automated deduction in equational logic and cubic curves (Q1919221) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Languages of logic and their applications (Q2425445) (← links)
- A system of quantificational deduction (Q2531612) (← links)
- Automated theorem proving. Theory and practice. With CD-ROM (Q2701741) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)
- (Q3781064) (← links)
- (Q4698605) (← links)