The following pages link to (Q3880316):
Displayed 8 items.
- On connections and higher-order logic (Q908896) (← links)
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Hintikka multiplicities in matrix decision methods for some propositional modal logics (Q4610320) (← links)
- Presenting machine-found proofs (Q4647515) (← links)
- Reconstructing proofs at the assertion level (Q5210809) (← links)