Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Dimostrazione automatica di teoremi
Questa voce o sezione sull'argomento teorie dell'informatica non cita le fonti necessarie o quelle presenti sono insufficienti.
La dimostrazione automatica di teoremi (in inglese Automated theorem proving o ATP) o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico. L'operazione consiste nella dimostrazione di teoremi matematici da parte di un programma per computer.
Previous Page Next Page
Teoremlərin avtomatik sübutu AZ Demostració automàtica de teoremes Catalan Automated theorem proving English Demostración automática de teoremas Spanish Teoremen frogapen automatiko EU اثبات قضیه خودکار FA Démonstration automatique de théorèmes French Թեորեմների ավտոմատացված ապացուցում HY 自動定理証明 Japanese 자동 정리 증명 Korean
