The following pages link to What is the inverse method? (Q908895):
Displaying 11 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Maslov's inverse method and decidable classes (Q583187) (← 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)
- Why does the complete iterative inversion method work so well? (Q2511719) (← links)
- The inverse method (Q2751355) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- What is invexity? (Q3741450) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)
- Who Invented the Delta Method? (Q5876902) (← links)