000 02527nam a22002537a 4500
999 _c204948
_d204946
003 Ge_NSL
005 20181120154019.0
008 180801s2018 ge ||||| |||| 00| 0 geo d
041 _ageo
080 _a004.421(043)
100 _aკურტანიძე, ლია
_963517
245 _aთეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში :
_bდოქტორის აკადემიური ხარისხის მოსაპოვებლად წარმოდგენილი ნაშრომის სადისერტაციო მაცნე /
_cლია კურტანიძე ; საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი ; ბიზნესის, კომპიუტინგის და სოციალურ მეცნიერებათა სკოლა (ფაკულტეტი) , კომპიუტერული ტექნოლოგიები და მათემატიკური მოდელირება ; [სამეცნ. ხელმძღვ.: მიხეილ რუხაია].
264 _aთბილისი,
_c2018.
300 _a25 გვ.
546 _aტექსტი პარალ. ინგლ. ენაზე
653 _aელექტროგამომთვლელი მანქანები
653 _aალგორითმები
653 _aმათემატიკური ალგორითმები
653 _aავტორეფერატი
700 _aრუხაია, მიხეილ
_963518
710 _a საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი ;
_963519
710 _aბიზნესის, კომპიუტინგის და სოციალურ მეცნიერებათა სკოლა (ფაკულტეტი) , კომპიუტერული ტექნოლოგიები და მათემატიკური მოდელირება
_963520
942 _2udc
_cBK