Назад к докладам семестра

Логические формы и семантическое представление: от текста к предикатам (проект Wise Task Logics).

Галкин, Злобин, Канцеров, Скобелев

25 ноября 2025 г.
  • Mathematical Logic

Исследовательский доклад в рамках семестра 'Осень 2025' по теме 'Логические формы и семантическое представление: от текста к предикатам (проект Wise Task Logics).'.