Jedan metod za automatsko dokazivanje teorema geometrije
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 | Öffnen |
Die folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden: