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: