Линейные транзитивные логики знания и времени, унификация и проективные формулы
Открыть
Дата: 2017
Автор
Башмаков, С. И.
Кошелев, А. В.
Рыбаков, В. В.
Выходные сведения
Башмаков, С. И. Линейные транзитивные логики знания и времени, унификация и проективные формулы / С. И. Башмаков, А. В. Кошелев, В. В. Рыбаков // Сборник трудов Всероссийской конференции по математике "МАК-2017" ; Материалы молодежной прикладной IT школы "Математическое методы и модели в экологии", Барнаул, 29 июня - 1 июля 2016 г. : [тексты докладов] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин]. - Барнаул : Изд-во АлтГУ, 2017. - С. 6–7. - Библиогр. в конце ст.