Zobrazeno 1 - 2
of 2
pro vyhledávání: '"аутоматско резоновање"'
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
Autor:
Marinković, Vesna
Publikováno v:
Универзитет у Београду
Проблеми геометријских конструкција уз помоћ лењира и шестара представљају један од најстаријих и најизазовнијих проблема у елементар
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=nardusnacion::52a8453362dd0213154eabed862b7cb5
https://nardus.mpn.gov.rs/handle/123456789/5727
https://nardus.mpn.gov.rs/handle/123456789/5727