The following pages link to What is the inverse method? (Q908895):
Displayed 6 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)