<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.upr.si/IzpisGradiva.php?id=19664"><dc:title>Prevod naključnih gozdov v imperativne programe brez zanke za namen formalnega preverjanja</dc:title><dc:creator>Avdalović,	Aleksandar	(Avtor)
	</dc:creator><dc:creator>Zenha-Rela,	Mário Alberto	(Mentor)
	</dc:creator><dc:creator>Tkalčič,	Marko	(Komentor)
	</dc:creator><dc:creator>Barbosa,	Raul	(Sodelavec pri raziskavi)
	</dc:creator><dc:subject>deductive verification</dc:subject><dc:subject>theorem proving</dc:subject><dc:subject>random forests</dc:subject><dc:publisher>A. Avdalović</dc:publisher><dc:date>2023</dc:date><dc:date>2023-10-05 10:40:10</dc:date><dc:type>Magistrsko delo/naloga</dc:type><dc:identifier>19664</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>