The following pages link to linTAP (Q23925):
Displaying 7 items.
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (Q3613403) (← links)
- (Q4263017) (← links)
- A Tableau Method for the Lambek Calculus based on a Matrix Characterization (Q4924540) (← links)
- (Q5018490) (← links)
- Automated Deduction – CADE-20 (Q5394607) (← links)