Satisfiability Problems in Quasiary Program Logics

Simple item page
dc.contributor.authorNikitchenko, Mykola
dc.contributor.authorShkilniak, Stepan
dc.contributor.authorTymofieiev, Valentyn
dc.date.accessioned2018-07-02T12:17:30Z
dc.date.available2018-07-02T12:17:30Z
dc.date.issued2018
dc.identifier.citationNikitchenko, 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.urihttp://dspace.tneu.edu.ua/handle/316497/30344
dc.publisherCeske Budejoviceuk_UA
dc.titleSatisfiability Problems in Quasiary Program Logicsuk_UA
dc.typeArticleuk_UA

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Mykola Nikitchenko, Stepan Shkilniak, Valentyn Tymofieiev.pdf
Size:
3.17 MB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.37 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ADVANCED COMPUTER INFORMATION TECHNOLOGIES