PRENEX


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

матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - prenex sequent

New large English-Russian dictionary .      Новый большой Англо-Русский словарь.