LADR

Library of Automated Deduction Routines

Version 2003-B (Aug 2003)

Semantics

Prover functions Inference Rules Formulas and Clauses Indexing and Unification Terms Basic stuff
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.