bn:02208755n
Noun Concept
PT
prova assistida por computador
EN
A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Wikipedia
Relations
Sources