Англо-русский перевод SECONDARILY SATISFIABLE FORMULA

SECONDARILY SATISFIABLE FORMULA

вторично выполнимая формула

English-Russian scientific and technological dictionary .      Англо-Русский научно-технический словарь.