Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Brown, Marianne Elizabeth"'
Autor:
Brown, Marianne Elizabeth
Guidance is a central issue in Automatic Theorem Proving systems due to the enormity of the search space that these systems navigate. Semantic guidance uses semantic information to direct the path an ATP system takes through the search space. The use
Externí odkaz:
http://eprints.jcu.edu.au/1184/1/01front.pdf
http://eprints.jcu.edu.au/1184/2/02whole.pdf
http://eprints.jcu.edu.au/1184/2/02whole.pdf
