Dokazivanje teorema prirodnim izvođenjem uz pomoć računara

eLibrary

 
 

Dokazivanje teorema prirodnim izvođenjem uz pomoć računara

Show simple item record

dc.contributor.author Pevac, Irena en_US
dc.date.accessioned 2009-12-03T12:01:07Z
dc.date.available 2009-12-03T12:01:07Z
dc.identifier.uri http://hdl.handle.net/123456789/46
dc.description.provenance Made available in DSpace on 2009-12-03T12:01:07Z (GMT). No. of bitstreams: 1 phdIrenaPevac.pdf: 4513133 bytes, checksum: 2b9f9d4687e2c81b822b7d2be0ac6479 (MD5) en
dc.publisher Belgrade en_US
dc.title Dokazivanje teorema prirodnim izvođenjem uz pomoć računara en_US

Files in this item

Files Size Format View
phdIrenaPevac.pdf 4.513Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record