Показать сокращенную информацию
АЛГОРИТМИЧЕСКИЙ КРИТЕРИЙ ДОПУСТИМОСТИ ПРАВИЛ ВЫВОДА В МОДАЛЬНОЙ ЛОГИКЕ, РАСШИРЯЮЩЕЙ K4 ШИРИНЫ НЕ БОЛЬШЕ N.
Автор | Мацкевич, Т. М. | ru_RU |
Дата внесения | 2015-06-30T12:31:38Z | |
Дата, когда ресурс стал доступен | 2015-06-30T12:31:38Z | |
Дата публикации | 2014 | ru_RU |
Библиографическое описание | Мацкевич, Т. М. АЛГОРИТМИЧЕСКИЙ КРИТЕРИЙ ДОПУСТИМОСТИ ПРАВИЛ ВЫВОДА В МОДАЛЬНОЙ ЛОГИКЕ, РАСШИРЯЮЩЕЙ K4 ШИРИНЫ НЕ БОЛЬШЕ N. // Молодежь и наука: сборник материалов Х Юбилейной Всероссийской научно-технической конференции студентов, аспирантов и молодых ученых с международным участием, посвященной 80-летию образования Красноярского края [Электронный ресурс]. — Красноярск: Сибирский федеральный ун-т, 2014. — Режим доступа: http://conf.sfu-kras.ru/sites/mn2014/directions.html, свободный. | ru_RU |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/18215 | |
Издатель | Сибирский федеральный университет | ru_RU |
Источник | X Всероссийская конференция «Молодёжь и наука» | ru_RU |
Название | АЛГОРИТМИЧЕСКИЙ КРИТЕРИЙ ДОПУСТИМОСТИ ПРАВИЛ ВЫВОДА В МОДАЛЬНОЙ ЛОГИКЕ, РАСШИРЯЮЩЕЙ K4 ШИРИНЫ НЕ БОЛЬШЕ N. | ru_RU |
Тип | Conference Item | |
Тип | Conference Paper |