ATP - (Automated Theorem Proving) - demonstrarea automata a teoremelor.
Enciclopedia universală: articole și definiții cu litera A