Formalizacija, implementacija i primene SAT rešavača

eLibrary

 
 

Formalizacija, implementacija i primene SAT rešavača

Show simple item record

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

Files in this item

Files Size Format View
phdFilipMaric.pdf 1.980Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record