Now showing items 1-1 of 1

    • Reasoning Utility Package User's Manual, Version One 

      McAllester, David Allen (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 ...