Login / Signup

Theorem Proving in Large Formal Mathematics as an Emerging AI Field.

Josef UrbanJirí Vyskocil
Published in: Automated Reasoning and Mathematics (2013)
Keyphrases