
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/">
  <dc:identifier>https://phaidrabg.bg.ac.rs/o:17815</dc:identifier>
  <dc:language>srp</dc:language>
  <dc:date>2016</dc:date>
  <dc:subject xml:lang="srp">Stojanović, Sana, 1981- – Doktorska disertacija – Izveštaji</dc:subject>
  <dc:rights>All rights reserved</dc:rights>
  <dc:type>info:eu-repo/semantics/bachelorThesis</dc:type>
  <dc:contributor>Janičić, Predrag, 1968-</dc:contributor>
  <dc:contributor>Lučić, Zoran, 1952-</dc:contributor>
  <dc:contributor>Marić, Filip, 1978-</dc:contributor>
  <dc:contributor>Borisavljević, Mirjana, 1965-</dc:contributor>
  <dc:contributor>Narboux, Julien.</dc:contributor>
  <dc:title xml:lang="srp">Реферат о завршеној докторској дисертацији Сане Стојановић &quot;Формализација и аутоматско доказивање теорема еуклидске геометрије&quot;</dc:title>
  <dc:description xml:lang="srp">Izveštaj Komisije za ocenu doktorske disertacije Sane Stojanović &quot;Formalizacija i automatsko dokazivanje teorema euklidske geometrije&quot;  </dc:description>
  <dc:format>150 листова</dc:format>
  <dc:format>134853 bytes</dc:format>
</oai_dc:dc>