Показать сокращенную информацию
АЛГОРИТМИЧЕСКИЙ КРИТЕРИЙ ДОПУСТИМОСТИ ПРАВИЛ ВЫВОДА В МОДАЛЬНОЙ ЛОГИКЕ К4.3
| Автор | Новикова, Е. К. | ru_RU |
| Дата внесения | 2014-07-01T06:10:21Z | |
| Дата, когда ресурс стал доступен | 2014-07-01T06:10:21Z | |
| Дата публикации | 2013 | ru_RU |
| Библиографическое описание | Новикова, Е. К. АЛГОРИТМИЧЕСКИЙ КРИТЕРИЙ ДОПУСТИМОСТИ ПРАВИЛ ВЫВОДА В МОДАЛЬНОЙ ЛОГИКЕ К4.3 // Молодежь и наука: сборник материалов IХ Всероссийской научно-технической конференции студентов, аспирантов и молодых ученых с международным участием, посвященной 385-летию со дня основания г. Красноярска [Электронный ресурс]. — Красноярск: Сибирский федеральный ун-т, 2013. — Режим доступа: http://conf.sfu-kras.ru/sites/mn2013/section061.html, свободный. | ru_RU |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/11625 | |
| Издатель | Сибирский федеральный университет | ru_RU |
| Источник | IX Всероссийская конференция «Молодёжь и наука», Секция «Математика, информатика: Алгебра, математическая логика и дискретная математика» | ru_RU |
| Название | АЛГОРИТМИЧЕСКИЙ КРИТЕРИЙ ДОПУСТИМОСТИ ПРАВИЛ ВЫВОДА В МОДАЛЬНОЙ ЛОГИКЕ К4.3 | ru_RU |
| Тип | Conference Item | |
| Тип | Conference Paper |
