The following pages link to (Q3204066):
Displaying 10 items.
- PARTHENON (Q37173) (← links)
- Refinements to depth-first iterative-deepening search in automatic theorem proving (Q582116) (← links)
- An efficient procedure for theorem proving in propositional logic on vector computers (Q808298) (← links)
- A parallel approach for theorem proving in propositional logic (Q1102766) (← links)
- PARTHENON: A parallel theorem prover for non-horn clauses (Q1189725) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- SPS-parallelism+SETHEO=SPTHEO (Q1284705) (← links)
- A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes (Q1357089) (← links)
- Partheo: A high-performance parallel theorem prover (Q6488521) (← links)
- An examination of the prolog technology theorem-prover (Q6488542) (← links)