Search
Now showing items 1-1 of 1
Reasoning Utility Package User's Manual, Version One
(1982-04-01)
RUP (Reasoning Utility Package) is a collection of procedures for performing various computations relevant to automated reasoning. RUP contains a truth maintenance system (TMS) which can be used to perform simple ...