Primene ne-KNF SAT rešavača

eBiblioteka

 
 

Primene ne-KNF SAT rešavača

Show simple item record

dc.contributor.author Todorović, Milan
dc.contributor.editor Marić, Filip
dc.contributor.editor Nikolić, Mladen
dc.contributor.editor Janičić, Predrag
dc.date.accessioned 2011-12-13T09:24:54Z
dc.date.available 2011-12-13T09:24:54Z
dc.date.issued 2011-10-10
dc.identifier.uri http://hdl.handle.net/123456789/1850
dc.description.provenance Submitted by Slavisha Milisavljevic (slavisha) on 2011-12-13T09:24:54Z No. of bitstreams: 1 tekst.pdf: 344198 bytes, checksum: 7734231180fe2644987d5f2cf4b4189e (MD5) en
dc.description.provenance Made available in DSpace on 2011-12-13T09:24:54Z (GMT). No. of bitstreams: 1 tekst.pdf: 344198 bytes, checksum: 7734231180fe2644987d5f2cf4b4189e (MD5) Previous issue date: 2011-10-10 en
dc.language.iso sr en_US
dc.publisher MATEMATIČKI FAKULTET UNIVERZITETA U BEOGRADU en_US
dc.title Primene ne-KNF SAT rešavača en_US
mf.document.pages 46 en_US
mf.contributor.editor-in-chief Janičić, Predrag

Files in this item

Files Size Format View
tekst.pdf 344.1Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record