Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Mark Miles Adams"'
Autor:
Mark Miles Adams
Publikováno v:
Journal of Formalized Reasoning, Vol 9, Iss 1, Pp 3-32 (2016)
The first three formalisations of major mathematical proofs have heralded a new age in formalised mathematics, establishing that informal proofs at the limits of what can be understood by humans can be checked by machine. However, formalisation itsel
Externí odkaz:
https://doaj.org/article/92814624a1c54850b64dbdf3c0bbaee0
