Formalizacija, implementacija i primene SAT rešavača
| dc.contributor.author | Marić, Filip | en_US |
| dc.date.accessioned | 2009-12-03T12:16:30Z | |
| dc.date.available | 2009-12-03T12:16:30Z | |
| dc.identifier.uri | http://hdl.handle.net/123456789/231 | |
| dc.description.provenance | Made available in DSpace on 2009-12-03T12:16:30Z (GMT). No. of bitstreams: 1 phdFilipMaric.pdf: 1980529 bytes, checksum: eae5a350f12f06209fe43b962b5c3ffe (MD5) | en |
| dc.publisher | Belgrade | en_US |
| dc.title | Formalizacija, implementacija i primene SAT rešavača | en_US |
Dateien zu dieser Ressource
| Dateien | Größe | Format | Anzeige |
|---|---|---|---|
| phdFilipMaric.pdf | 1.980Mb | Öffnen |