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: