The following pages link to (Q3491009):
Displaying 7 items.
- PARTHEO (Q21958) (← links)
- Octopus: combining learning and parallel search (Q861370) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- Near-Horn Prolog and the ancestry family of procedures (Q1924724) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- Parallel inference search in logical calculus based on the algebraic programming system (Q2452767) (← links)
- A novel asynchronous parallelism scheme for first-order logic (Q5210792) (← links)
