Go backward to
Course Materials
Go up to
Top
Go forward to
Contents
Logic Evaluator
Interpreter for executing mathematical definitions.
Author:
Wolfgang Schreiner
Last Modification: October 4, 1999