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... ID Tkalčič, Marko (Komentor) ID Barbosa, Raul (Sodelavec pri raziskavi) |
Datoteke: | 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 |
---|
UDK: | 004.3(043.2) |
---|
COBISS.SI-ID: | 167114755 |
---|
Opomba: | Sistemske zahteve: Adobe Acrobat Reader |
---|
Datum objave v RUP: | 05.10.2023 |
---|
Število ogledov: | 652 |
---|
Število prenosov: | 10 |
---|
Metapodatki: | |
---|
:
|
Kopiraj citat |
---|
| | | Skupna ocena: | (0 glasov) |
---|
Vaša ocena: | Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. |
---|
Objavi na: | |
---|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |