Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode

eLibrary

 
 

Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode

Show full item record

Title: Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode
Author: Predović, Goran
URI: http://hdl.handle.net/123456789/1793
Date: 2008

Files in this item

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

The following license files are associated with this item:

This item appears in the following Collection(s)

Show full item record