![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Agda_proof.jpg/640px-Agda_proof.jpg&w=640&q=50)
Prova automática de teoremas
De Wikipedia, a enciclopédia encyclopedia
Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador. É atualmente a sub-área mais desenvolvida do raciocínio automatizado (RA).
A tradução deste artigo está abaixo da qualidade média aceitável. (Abril de 2014) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Agda_proof.jpg/640px-Agda_proof.jpg)