Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode

eBibliothek Repositorium

 
 

Automatsko dokazivanje geometrijskih teorema primenom Vuove i Buhbergerove metode

Zur Langanzeige

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 PDF Öffnen

Die folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden:

Das Dokument erscheint in:

Zur Langanzeige