The following pages link to HOT (Q25223):
Displayed 6 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Theorem proving in higher order logics. 11th international conference, TPHOLs '98. Canberra, Australia, September 27 - October 1, 1998. Proceedings (Q1269998) (← links)
- A taxonomy of parallel strategies for deduction (Q1601867) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)