Wikipédia em português - A enciclop...
Download this dictionary
Prova automática de teoremas
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).
Veja mais na Wikipédia.org...
© Esse artigo usa material da
Wikipédia
®
sob a licença
Licença GNU de Documentação Livre
e sob nos termos da licença
Creative Commons Attribution-ShareAlike