Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode
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 |
View/ |
The following license files are associated with this item: