| 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: | 623 |
|---|
| Š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. |
