Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode
| Titel: | Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode |
| Autor: | Predović, Goran |
| URI: | http://hdl.handle.net/123456789/1793 |
| Datum: | 2008 |
Dateien zu dieser Ressource
| Dateien | Größe | Format | Anzeige |
|---|---|---|---|
| adgtvb.pdf | 1.223Mb | Öffnen |
Die folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden: