კურტანიძე, ლია <br/><br/>
თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში :  დოქტორის აკადემიური ხარისხის მოსაპოვებლად წარმოდგენილი ნაშრომის სადისერტაციო მაცნე / 
ლია კურტანიძე ; საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი ; ბიზნესის, კომპიუტინგის და სოციალურ მეცნიერებათა სკოლა (ფაკულტეტი) , კომპიუტერული ტექნოლოგიები და მათემატიკური მოდელირება ; [სამეცნ. ხელმძღვ.: მიხეილ რუხაია]. 
 - თბილისი,  2018. 
 - 25 გვ. 
<br/><br/><br/>ტექსტი პარალ. ინგლ. ენაზე 
<br/><br/><label>Subjects--Index Terms: </label>ელექტროგამომთვლელი მანქანები ალგორითმები მათემატიკური ალგორითმები ავტორეფერატი 
<br/><br/><label>Universal Decimal Class. No.: </label>004.421(043)