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 1395214952 20140319 1395215089 20140319 HASH0176.dir This document has no text.