Lupa

Izpis gradiva Pomoč

A- | A+ | Natisni
Naslov:Prevod naključnih gozdov v imperativne programe brez zanke za namen formalnega preverjanja : magistrsko delo
Avtorji:ID Avdalović, Aleksandar (Avtor)
ID Zenha-Rela, Mário Alberto (Mentor) Več o mentorju... Povezava se odpre v novem oknu
ID Tkalčič, Marko (Komentor)
ID Barbosa, Raul (Sodelavec pri raziskavi)
Datoteke:.pdf MAG_Avdalovic_Aleksandar_2023.pdf (426,81 KB)
MD5: EDB06CB12F6B760E26933375C00E1174
 
Jezik:Angleški jezik
Vrsta gradiva:Magistrsko delo/naloga
Tipologija:2.09 - Magistrsko delo
Organizacija:FAMNIT - Fakulteta za matematiko, naravoslovje in informacijske tehnologije
Ključne besede:deductive verification, theorem proving, random forests
Kraj izida:Koper
Kraj izvedbe:Koper
Založnik:A. Avdalović
Leto izida:2023
Leto izvedbe:2023
Št. strani:1 spletni vir (1 datoteka PDF (IX, 34 str., [5] str. pril.))
PID:20.500.12556/RUP-19664 Povezava se odpre v novem oknu
UDK:004.3(043.2)
COBISS.SI-ID:167114755 Povezava se odpre v novem oknu
Opomba:Sistemske zahteve: Adobe Acrobat Reader
Datum objave v RUP:05.10.2023
Število ogledov:652
Število prenosov:10
Metapodatki:XML DC-XML DC-RDF
:
Kopiraj citat
  
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:Bookmark and Share


Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Sekundarni jezik

Jezik:Slovenski jezik
Naslov:Translation of random forests to loop-free imperative programs for the purpose of formal verification : master's thesis
Ključne besede:deduktivna verifikacija, dokazovalci teoremov, naključni gozdovi


Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici