import/CMSwp-all.00000201/00000204.nul indexed_doc NulPlugin 0 00000204.nul 00000204.nul CMSwp-all.00000201/00000204.nul 1 Cleary, John G. University of Waikato. Dept. of Computer Science. 1993. "October 1993." Includes bibliographical references. Hamilton, N.Z. : University of Waikato, Dept. of Computer Science, 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. 00000204 HASHf605a5157c860de2552af9 1494814339 20170515 1494814669 20170515 HASHf605.dir This document has no text.