Временные многоагентные логики и проблема унификации

Thumbnail
View/Open:
Link to Another Site
URI (for links/citations):
http://elib.sfu-kras.ru/handle/2311/68759
Author:
Башмаков, Степан Игоревич
Date:
2017-11-07
Bibliographic Citation:
Башмаков, Степан Игоревич. Временные многоагентные логики и проблема унификации [Электронный ресурс] : автореферат диссертации ... кандидата физико-математических наук / С. И. Башмаков. — Красноярск : СФУ, 2017.
Graduate Speciality:
01.01.06 Математическая логика, алгебра и теория чисел
Academic Degree or Qualification:
Кандидат физико-математических наук
Collections:
Metadata:
Show full item record