თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 01.01.06 / ლალი ტიბუა ; ივანე ჯავახიშვილის სახელობის თბილისის სახელმწიფო უნივერსიტეტი ; [სამეცნ. ხელმძღვანელი: ხიმურ რუხაია].
Material type: TextLanguage: Georgian თბილისი, 2005Description: 25 გვSubject(s):Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 510.6(043) (Browse shelf(Opens below)) | 2K90940 | Available | 2019-7119 |
ტექსტი ქართ. და ინგლ. ენებზე
There are no comments on this title.
Log in to your account to post a comment.