G-რეზოლუციაზე დაფუძნებული პროგრამირება სამმნიშვნელობიან ლოგიკაში : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 05.13.11. - თბ., 1997. - 21ფ.. - ზესათ.: საქ. მეცნ. აკად.. - [20თ.][MFN: 1501]
UDC: 510.6
FA 2.909 - Depositary Georgian PublicationsKა 228.050/3 - General Stock