1 - Problems of reducing the exhaustive searchKreinovich, Vladik (Ed.) / Minachin, V. (Trad.) / Mints, G. (Ed.)Cote : [05 KRE 97]
