TY  - BOOK
AU  - Лукьянчук,Александра Николаевна
TI  - Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода: автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06
PY  - 2015///
CY  - Красноярск
PB  - [б. и.]
KW  - Математическая логика, алгебра и теория чисел
KW  - nsnr
KW  - авторефераты диссертаций
N1  - Библиогр.: с. 10-11 и в подстроч. примеч
ER  -