Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.wunu.edu.ua/handle/316497/30344
Назва: | Satisfiability Problems in Quasiary Program Logics |
Автори: | Nikitchenko, Mykola Shkilniak, Stepan Tymofieiev, Valentyn |
Дата публікації: | 2018 |
Видавництво: | Ceske Budejovice |
Бібліографічний опис: | Nikitchenko, Mykola Satisfiability Problems in Quasiary Program Logics / Mykola Nikitchenko, Stepan Shkilniak, Valentyn Tymofieiev // Advanced computer information technologies [Електронний ресурс] = АСІТ 2018 : International Conference Proceedings [Ceske Budejovice, June 1-3, 2018] / responsible for the issue M. Dyvak. - Ceske Budejovice : [w. p.], 2018. - С. 175-177. |
URI (Уніфікований ідентифікатор ресурсу): | http://dspace.tneu.edu.ua/handle/316497/30344 |
Розташовується у зібраннях: | ADVANCED COMPUTER INFORMATION TECHNOLOGIES |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
Mykola Nikitchenko, Stepan Shkilniak, Valentyn Tymofieiev.pdf | 3.25 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.