import/CMSwp-all.marc indexed_doc en iso_8859_1 CMSwp-all.marc CMSwp-all.marc 208 MARCPlugin MARC 1993. Includes bibliographical references. Arithmetic functions. Numerical calculations Computer programs. Interval analysis (Mathematics) Prolog (Computer program language) University of Waikato. Dept. of Computer Science. "October 1993." University of Waikato, Dept. of Computer Science, Cleary, John G. Proving the existence of solutions in logical arithmetic / by John G. Cleary. Hamilton, N.Z. : HASH6a30b66a3a5419ad674b26s208 1376384216 20130813 1376384317 20130813 HASH6a30/b66a3a54/19ad674b/26s208.dir <pre> LDR 00994nam 2200253 a 4500 001 247752 010 _o zbn94-18293 035 _a (nzNZBN)8182820 008 s1993 nz a b eng d 035 _9 ABC-3753 092 _a QA75.5.W926 no.1993/5 100 10 _a Cleary, John G. 245 10 _a Proving the existence of solutions in logical arithmetic / _c by John G. Cleary. 260 0 _a Hamilton, N.Z. : _b University of Waikato, Dept. of Computer Science, _c 1993. 300 _a [11] leaves : _b ill. ; _c 30 cm. 490 1 _a Working paper series, _x 1170-487X ; _v 1993/5 500 _a "October 1993." 504 _a Includes bibliographical references. 650 0 _a Arithmetic functions. 650 0 _a Numerical calculations _x Computer programs. 650 0 _a Interval analysis (Mathematics) 650 0 _a Prolog (Computer program language) 710 20 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v no. 1993/5 </pre>