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