TY  - BOOK
AU  - კურტანიძე, ლია
AU  - რუხაია, მიხეილ
ED  -  საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი ; 
ED  - ბიზნესის, კომპიუტინგის და სოციალურ მეცნიერებათა სკოლა (ფაკულტეტი) , კომპიუტერული ტექნოლოგიები და მათემატიკური მოდელირება
TI  - თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში: დოქტორის აკადემიური ხარისხის მოსაპოვებლად წარმოდგენილი ნაშრომის სადისერტაციო მაცნე 
PY  - 2018///
CY  - თბილისი
KW  - ელექტროგამომთვლელი მანქანები
KW  - ალგორითმები
KW  - მათემატიკური ალგორითმები
KW  - ავტორეფერატი
ER  -