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