| Полное название | Рыбаков М.Н., Котикова Е.А. Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой // Десятые Смирновские чтения по логике. Материалы международной научной конференции. Москва: Современные тетради, 2017. С.43–44. |
| Тип публикации | Статья в трудах конференции |
| Язык | Русский |
| URL | http://smirnovreadings.ru/conference/program/ |
|
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00