თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი : დის... ფიზ.-მათ. მეცნ. კანდ. 01.01.06 / სამეცნ. ხელმძღვ.: ხ. რუხაია ; თსუ-ს გამოყენებითი მათემატიკის ინ-ტი. - თბ., 2005. - 103გვ.. - ბიბლიოგრ.: გვ. 101-103[MFN: 28546]

UDC: 510.6 + 51

თემატიკა:
- მათემატიკური თეორიები;

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