TY  - BOOK
AU  - American Mathematical Society translations, series 2
AU  - Kreinovich, V. ; ed.
AU  - Mints, G. ; jt.ed.
TI  - Problems of reducing the exhaustive search
U1  - 510.6 
PY  - 1997///
CY  - Providence
PB  - American Mathematical Society
N1  - "Purchased under the NBHM grant for the year 1996-97"
ER  -