Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.wunu.edu.ua/handle/316497/30344Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Nikitchenko, Mykola | - |
| dc.contributor.author | Shkilniak, Stepan | - |
| dc.contributor.author | Tymofieiev, Valentyn | - |
| dc.date.accessioned | 2018-07-02T12:17:30Z | - |
| dc.date.available | 2018-07-02T12:17:30Z | - |
| dc.date.issued | 2018 | - |
| dc.identifier.citation | 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. | uk_UA |
| dc.identifier.uri | http://dspace.tneu.edu.ua/handle/316497/30344 | - |
| dc.publisher | Ceske Budejovice | uk_UA |
| dc.title | Satisfiability Problems in Quasiary Program Logics | uk_UA |
| dc.type | Article | uk_UA |
| Розташовується у зібраннях: | ADVANCED COMPUTER INFORMATION TECHNOLOGIES | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Mykola Nikitchenko, Stepan Shkilniak, Valentyn Tymofieiev.pdf | 3.25 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.