Временные многоагентные логики и проблема унификации
Башмаков Степан Игоревич. Временные многоагентные логики и проблема унификации: диссертация ... кандидата Физико-математических наук: 01.01.06 / Башмаков Степан Игоревич;[Место защиты: ФГАОУ ВО «Сибирский федеральный университет»], 2018