Dokazivanje teorema prirodnim izvođenjem uz pomoć računara
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 |
View/ |