Transitive Closure and the Mechanization of Mathematics

By A. Avron. 2003

46 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

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