Показать сокращенную информацию
Линейные транзитивные логики знания и времени, унификация и проективные формулы
dc.contributor.author | Башмаков, С. И. | |
dc.contributor.author | Кошелев, А. В. | |
dc.contributor.author | Рыбаков, В. В. | |
dc.date.accessioned | 2017-09-29T02:55:44Z | |
dc.date.available | 2017-09-29T02:55:44Z | |
dc.date.issued | 2017 | |
dc.identifier.citation | Башмаков, С. И. Линейные транзитивные логики знания и времени, унификация и проективные формулы / С. И. Башмаков, А. В. Кошелев, В. В. Рыбаков // Сборник трудов Всероссийской конференции по математике "МАК-2017" ; Материалы молодежной прикладной IT школы "Математическое методы и модели в экологии", Барнаул, 29 июня - 1 июля 2016 г. : [тексты докладов] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин]. - Барнаул : Изд-во АлтГУ, 2017. - С. 6–7. - Библиогр. в конце ст. | ru_RU |
dc.identifier.uri | http://elibrary.asu.ru/handle/asu/4040 | |
dc.publisher | Барнаул : Издательство Алтайского государственного университета | ru_RU |
dc.title | Линейные транзитивные логики знания и времени, унификация и проективные формулы | ru_RU |
dc.type | Article | ru_RU |