Повратак на детаље чланка АУТОМАТСКО ПРОВЕРАВАЊЕ НЕФОРМАЛНИХ ДОКАЗА ТЕОРЕМА СРЕДЊОШКОЛСКЕ ГЕОМЕТРИЈЕ Преузми фајл Преузми PDF