CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

RRL: Rewrite Rule Laboratory

areas/reasonng/atp/systems/rrl/
This directory contains RRL, the Rewrite Rule Laboratory, and related systems.
Origin:   

   herky.cs.uiowa.edu:/public/rrl [128.255.28.100]

Version: RRL (24-JUL-92); SUTRA 1.0 (30-MAR-90); Herky (5-MAY-93); Franz RRL (28-MAY-89) Requires: Common Lisp, Franz Lisp CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Hantao Zhang Dept. of Computer Science The University of Iowa Iowa City, IA 52242 Keywords: Authors!Zhang, Automated Reasoning, Lisp!Code, RRL, Reasoning!Automated Reasoning, Theorem Proving References: ?
Last Web update on Mon Feb 13 10:27:39 1995
AI.Repository@cs.cmu.edu