Rezultati
Naziv: | An automated theorem prover for the probability logic LPP | Autori: | Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Urednici: | Krapež, Aleksandar | Godina: | 2001 | Tip rezultata: | Konferencijski rad | ISBN: | 86-80593-31-1 Pretraži identifikator | Kolacija: | str. 79-83 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3092 https://enauka.gov.rs/handle/123456789/579574 |
M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.