| Tau Theorem Prover |
Article Index for Tau |
Shopping Prover |
Website Links For Tau |
Information AboutTau Theorem Prover |
| CATEGORIES ABOUT TAU THEOREM PROVER | |
| theorem provers | |
|
Other features: tautology and subsumption deletion; depth-, breadth-, and modified-best- Searching ; use of unit lemmas; instantiation and generalization strategies; finite model checking; extensibility. REFERENCES
EXTERNAL LINKS |
|
|