G-რეზოლუციაზე დაფუძნებული პროგრამირება სამმნიშვნელობიან ლოგიკაში : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 05.13.11. - თბ., 1997. - 21ფ.. - ზესათ.: საქ. მეცნ. აკად.. - [20თ.][MFN: 1501]

UDC: 510.6

FA 2.909 - საარქივო ფონდი
Kა 228.050/3 - წიგნთსაცავი

G-რეზოლუციაზე დაფუძნებული პროგრამირება სამმნიშვნელობიან ლოგიკაში : დის... ფიზ.-მათ. მეცნ. კანდ. 05.13.11 / სამეც. ხელმძღ.: შ. ფხაკაძე, ჯ. ანთიძე ; თსუ. - თბ., 1997. - 149გვ.. - ბიბლიოგრ.: გვ. 146-149[MFN: 23153]

UDC: 619.68 + 517-11

თემატიკა:
- გამოთვლითი მანქანების, კომპლექსების, სისტემების და ქსელების მათემატიკური და პროგრამული უზრუნველყოფა;

D 1.091 - საარქივო ფონდი