PTTC.PNG
Skip to main content.

исчисление предикатов первого порядка

Дата последнего изменения:2016.07.31
Сообщить об ошибке
  исчисление предикатов первого порядка

[Борковский А. Б. Англо-русский словарь по программированию и информатике. 1990]
EN

FR

Тематики

  • информационные технологии в целом

EN

  • first-order logic

 

Внимание!

Закрыть