Jedan metod za automatsko dokazivanje teorema geometrije

eBibliothek Repositorium

 
 

Jedan metod za automatsko dokazivanje teorema geometrije

Zur Langanzeige

Titel: Jedan metod za automatsko dokazivanje teorema geometrije
Autor: Janičić, Predrag
URI: http://hdl.handle.net/123456789/4080
Datum: 1996

Dateien zu dieser Ressource

Dateien Größe Format Anzeige
Dokazivanje.PDF 1.164Mb PDF Öffnen

Die folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden:

Das Dokument erscheint in:

Zur Langanzeige