import/CMSwp-all.marc url indexed_doc en utf8 CMSwp-all.marc CMSwp-all.marc 204 MARCPlugin MARC Cleary, John G. Proving the existence of solutions in logical arithmetic / by John G. Cleary. Hamilton, N.Z. : University of Waikato, Dept. of Computer Science, 1993. "October 1993." Includes bibliographical references. Arithmetic functions. Numerical calculations Computer programs. Interval analysis (Mathematics) Prolog (Computer program language) University of Waikato. Dept. of Computer Science. HASH6a30b66a3a5419ad674b26s204 1678162979 20230307 1678163026 20230307 HASH6a30/b66a3a54/19ad674b/26s204.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>