ქესჟ: კომპიუტერული მეცნიერებები და ტელეკომუნიკაციები

კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2016 | No.4(50) [2016.12.31]

მერაბ ფხოველიშვილი

USAGE OF LOGIC FOR PARALLEL VERIFICATION OF HASKEL PROGRAMS (ენა: ინგლისური)

86-92

დაათვალიერე სტატია (PDF) ან

კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2016 | No.3(49) [2016.11.30]

მერაბ ფხოველიშვილი

ლოგიკების გამოყენება Haskell-ის პარალელური პროგრამების ვერიფიკაციისთვის (ენა: ინგლისური)

30-33

დაათვალიერე სტატია (PDF) ან

კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2014 | No.3(43) [2014.09.30]

მერაბ ფხოველიშვილი

THE AUTOMATIC SYNTHESIS OF HASKELL FUNCTIONS (ენა: ინგლისური)

20-26

დაათვალიერე სტატია (PDF) ან