00480nam a2200133Ia 4500082002100000100005700021245008400078260005200162300002100214500005800235500000500293700002500298700002300323  a510.6bAm512.178  aAmerican Mathematical Society translations, series 2  aProblems of reducing the exhaustive searchbcEd. by V. Kreinovich and G. Mints  aProvidencebAmerican Mathematical Societyc1997  aV.178 - x, 189p.  a"Purchased under the NBHM grant for the year 1996-97"  a  aKreinovich, V. ; ed.  aMints, G. ; jt.ed.