LADR

Library of Automated Deduction Routines

Version December 2004
Top functions Inference Rules Formulas and Clauses Indexing and Unification Terms Basic Routines
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.