How to write a 21st century proof

By Leslie Lamport. 2012

77 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/dc4d33b297dd04f99778b4054bfb96bdb9db050e