Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Banković, Milan M."'
Autor:
Banković, Milan M.
Publikováno v:
Универзитет у Београду
SMT решавачи имплементирају процедуре одлучивања за испитивање задовољивости логичких формула првог реда у односу на неку унапред задат
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=nardusnacion::b869a9910e09c60e0f1847927b18a709
https://nardus.mpn.gov.rs/bitstream/id/6484/IzvestajKomisije8372.pdf
https://nardus.mpn.gov.rs/bitstream/id/6484/IzvestajKomisije8372.pdf
