00690nam a2200193Ia 4500082002100000100005700021245008400078260005200162300002100214500005800235500000500293690000600298700002500304700002300329952010300352964001700455921000900472999001500481 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 a  aKreinovich, V. ; ed. aMints, G. ; jt.ed. 00104070aISIbISId1998-09-07l0o510.6 Am512.178pDP23313r2019-02-14 00:00:00w2019-02-14yBK abcdefg a8773 c8773d8773