SECONDARILY SATISFIABLE FORMULA


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

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

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