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: