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