<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში</title>
    <subTitle>დოქტორის აკადემიური ხარისხის მოსაპოვებლად წარმოდგენილი ნაშრომის სადისერტაციო მაცნე</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>კურტანიძე, ლია</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>რუხაია, მიხეილ</namePart>
  </name>
  <name type="corporate">
    <namePart> საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი</namePart>
  </name>
  <name type="corporate">
    <namePart>ბიზნესის, კომპიუტინგის და სოციალურ მეცნიერებათა სკოლა (ფაკულტეტი) , კომპიუტერული ტექნოლოგიები და მათემატიკური მოდელირება</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">ge</placeTerm>
    </place>
    <dateIssued encoding="marc">2018</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">geo</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>25 გვ.</extent>
  </physicalDescription>
  <note type="statement of responsibility">ლია კურტანიძე ; საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი ; ბიზნესის, კომპიუტინგის და სოციალურ მეცნიერებათა სკოლა (ფაკულტეტი) , კომპიუტერული ტექნოლოგიები და მათემატიკური მოდელირება ; [სამეცნ. ხელმძღვ.: მიხეილ რუხაია].</note>
  <note>ტექსტი პარალ. ინგლ. ენაზე</note>
  <subject>
    <topic>ელექტროგამომთვლელი მანქანები</topic>
  </subject>
  <subject>
    <topic>ალგორითმები</topic>
  </subject>
  <subject>
    <topic>მათემატიკური ალგორითმები</topic>
  </subject>
  <subject>
    <topic>ავტორეფერატი</topic>
  </subject>
  <classification authority="udc">004.421(043) </classification>
  <recordInfo>
    <recordCreationDate encoding="marc">180801</recordCreationDate>
    <recordChangeDate encoding="iso8601">20181120154019.0</recordChangeDate>
  </recordInfo>
</mods>
