БЕСКВАНТОРНЫЙ ВЫВОД


Русско-английский перевод БЕСКВАНТОРНЫЙ ВЫВОД

мат. quantifier-free inference

Большой Русско-Английский словарь.      New big Russian-English dictionary.