| Title: | Prevod naključnih gozdov v imperativne programe brez zanke za namen formalnega preverjanja : magistrsko delo |
|---|
| Authors: | ID Avdalović, Aleksandar (Author)
ID Zenha-Rela, Mário Alberto (Mentor) More about this mentor... 
ID Tkalčič, Marko (Co-mentor)
ID Barbosa, Raul (Research coworker) |
|---|
| Files: |  MAG_Avdalovic_Aleksandar_2023.pdf (426,81 KB)
MD5: EDB06CB12F6B760E26933375C00E1174
|
|---|
| Language: | English |
|---|
| Work type: | Master's thesis/paper |
|---|
| Typology: | 2.09 - Master's Thesis |
|---|
| Organization: | FAMNIT - Faculty of Mathematics, Science and Information Technologies
|
|---|
| Keywords: | deductive verification, theorem proving, random forests |
|---|
| Place of publishing: | Koper |
|---|
| Place of performance: | Koper |
|---|
| Publisher: | A. Avdalović |
|---|
| Year of publishing: | 2023 |
|---|
| Year of performance: | 2023 |
|---|
| Number of pages: | 1 spletni vir (1 datoteka PDF (IX, 34 str., [5] str. pril.)) |
|---|
| PID: | 20.500.12556/RUP-19664 |
|---|
| UDC: | 004.3(043.2) |
|---|
| COBISS.SI-ID: | 167114755 |
|---|
| Note: | Sistemske zahteve: Adobe Acrobat Reader |
|---|
| Publication date in RUP: | 05.10.2023 |
|---|
| Views: | 302 |
|---|
| Downloads: | 2 |
|---|
| Metadata: |     |
|---|
|
:
|
Copy citation |
|---|
| | | | Average score: | (0 votes) |
|---|
| Your score: | Voting is allowed only for logged in users. |
|---|
| Share: |  |
|---|
Hover the mouse pointer over a document title to show the abstract or click
on the title to get all document metadata. |
