EXISTENTIAL QUANTIFIER


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

квантор существования (в языке Пролог)

Пройдаков Э.М., Теплицкий Л.А.. English-Russian explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming.      Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию.