
clam2
 Referenced in 0 articles
[sw19620]
 A Prolog implementation of the proof planner Clam...

clam3
 Referenced in 0 articles
[sw19621]
 Prolog implementation of proof planner with critics, and...

OMEGA
 Referenced in 24 articles
[sw19623]
 Ωmega: A theorem prover for higherorder logic...

OSHL
 Referenced in 0 articles
[sw19628]
 OSHL: A generalpurpose instancebased firstorder...

PRESS
 Referenced in 4 articles
[sw21327]
 Solving symbolic equations with PRESS. We outline a...

scunac
 Referenced in 3 articles
[sw21328]
 Encoding functional relations in Scunak. We describe how...

ProCom
 Referenced in 2 articles
[sw21329]
 ProCom is a theorem prover written in ECLiPSe...