Demo
Predicate Logic Prover
Proof Examples presented at ISSAC 2002
Maintained by
Webmaster
.
© Research Institute for Symbolic Computation.