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