import/CMSwp-all.00000201/00000208.nul indexed_doc NulPlugin 0 00000208.nul 00000208.nul CMSwp-all.00000201/00000208.nul 1 University of Waikato. Dept. of Computer Science. Cleary, John G. 1993. Includes bibliographical references. "October 1993." University of Waikato, Dept. of Computer Science, Hamilton, N.Z. : Arithmetic functions. Numerical calculations Computer programs. Interval analysis (Mathematics) Prolog (Computer program language) Proving the existence of solutions in logical arithmetic / by John G. Cleary. 00000208 HASH017615a715bc8a0e62652cf9 1398748039 20140429 1398748123 20140429 HASH0176.dir This document has no text.