Sciact
Toggle navigation
  • EN
  • RU

Разделы:

  • Статьи
  • Книги
  • Доклады на конференциях
  • Тезисы докладов
  • Патенты

Доклады на конференциях (19)

# Публикация
1 Стукачев А.И.
Математика в СУНЦ НГУ: учебные курсы для школьников и курсы повышения квалификации для учителей
Всероссийский съезд преподавателей и учителей математики и биологии 01-02 дек. 2025
2 Stukachev A.I.
Generalized Computability and Model Theory for Linguistic Structures
Международная конференция "Мальцевские чтения" 10-14 Nov 2025
3 Стрепетова В.В. , Стукачев А.И.
Дистрибутивная интерпретация семантики Монтегю
V Конференция математических центров России 11-16 авг. 2025
4 Stukachev A.I. , Liu C. , Cao Z.
Union, intersection and comparison of linguistic structures
17th International Summer School-Conference “Problems Allied to Model Theory and Universal Algebra” 19-26 Jun 2025
5 Stukachev A.I. , Strepetova V. , Chen L. , Cao Z. , Zaitseva U.
Interpretability in Mathematics and XAI
The International Conference dedicated to Mathematics in Artificial Intelligence 24-28 Mar 2025
6 Стукачев А.И. , Бурнистов А.С.
Алгоритмические аспекты семантики Монтегю
Математика в Академгородке 02-04 дек. 2024
7 Стукачев А.И.
Структуры на сигнатурах структур
IV Конференция математических центров России, посвященная 300-летию СПбГУ и РАН. 06-11 авг. 2024
8 Stukachev A.I.
Structures on Signatures if Structures
XVI международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 08-13 Jul 2024
9 Stukachev A.I.
Структуры на сигнатурах структур (Structures on Signatures of Structures)
Международная научная конференция «Алгебра и математическая логика: теория и приложения» 27 июн. - 1 июл. 2024
10 Stukachev A.
Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics
21th International Conference on Distributed Computing and Artificial Intelligence, Special Session on Computational Linguistics, Information, Reasoning, and AI (DCAI-CLIRAI 2023) 26-28 Jun 2024
11 Стукачев А.И.
Вычислимые модели интенсиональной логики
Мальцевские чтения : Международная конференция 13-17 нояб. 2023
12 Stukachev A.
Computable models of Montague intensional logic
Fifth Workshop on Digitalization and Computable Models 02-06 Oct 2023
13 Stukachev A.I.
Algorithmic aspects of intensional logic
XV международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 21-28 Jun 2023
14 Burnistov A. , Stukachev A. , Stukacheva M.
Computable functionals in Montague semantics
LOGIC COLLOQUIUM 2023, European Summer Meeting of the Association for Symbolic Logic 05-09 Jun 2023
15 Stukachev A.
Generalized Computability and Effective Model Theory in Mathematical Linguistics
Logic and Algorithms in Computational Linguistics 2021 15-17 Dec 2021
16 Бурнистов А.С. , Stukachev A.
Computable Functionals of Finite Types in Montague Semantics
Logical Aspects of Computational Linguistics 2021 13-17 Dec 2021
17 RYZHKOV A. , STUKACHEV A. , STUKACHEVA M.
Approximation spaces over dense linear orders
2021 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ‘21 19-24 Jul 2021
18 Stukachev A.
Generalized computability in approximation spaces
Second Workshop on Digitalization and Computable Models 20-24 Jul 2020
19 Ryzhkov A. , Stukachev A. , Stukacheva M.
Interval semantics for natural languages and effective interpretability over the reals
Logic Colloquium 2019 11-16 авг. 2019

1   /  1   -  Всего 19 записей

Фильтр

Сортировка

Поле Направление

Столбцы

Сбросить