Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode

eLibrary

 
 

Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode

Show simple item record

dc.contributor.author Predović, Goran
dc.date.accessioned 2011-11-09T12:30:35Z
dc.date.available 2011-11-09T12:30:35Z
dc.date.issued 2008
dc.identifier.uri http://hdl.handle.net/123456789/1793
dc.description.provenance Submitted by Slavisha Milisavljevic (slavisha) on 2011-11-09T12:30:35Z No. of bitstreams: 1 adgtvb.pdf: 1223148 bytes, checksum: e2fe0d39d8ea83817f6f7c5d5d37b052 (MD5) en
dc.description.provenance Made available in DSpace on 2011-11-09T12:30:35Z (GMT). No. of bitstreams: 1 adgtvb.pdf: 1223148 bytes, checksum: e2fe0d39d8ea83817f6f7c5d5d37b052 (MD5) Previous issue date: 2008 en
dc.language.iso sr en_US
dc.publisher MATEMATIČKI FAKULTET UNIVERZITETA U BEOGRADU en_US
dc.title Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode en_US
mf.document.pages 191 en_US
mf.contributor.editor-in-chief Janičić, Predrag

Files in this item

Files Size Format View
adgtvb.pdf 1.223Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record