G-რეზოლუციაზე დაფუძნებული პროგრამირება სამმნიშვნელობიან ლოგიკაში : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 05.13.11. - თბ., 1997. - 21ფ.. - ზესათ.: საქ. მეცნ. აკად.. - [20თ.][MFN: 1501]
UDC: 510.6
FA 2.909 - Depositary Georgian PublicationsKა 228.050/3 - General Stock
G-რეზოლუციაზე დაფუძნებული პროგრამირება სამმნიშვნელობიან ლოგიკაში : დის... ფიზ.-მათ. მეცნ. კანდ. 05.13.11 / სამეც. ხელმძღ.: შ. ფხაკაძე, ჯ. ანთიძე ; თსუ. - თბ., 1997. - 149გვ.. - ბიბლიოგრ.: გვ. 146-149[MFN: 23153]
UDC: 619.68 + 517-11
Subjects:- გამოთვლითი მანქანების, კომპლექსების, სისტემების და ქსელების მათემატიკური და პროგრამული უზრუნველყოფა;
D 1.091 - Depositary Georgian Publications