Theorem Proving in Large Formal Mathematics as an Emerging AI Field
From MaRDI portal
Publication:4913871
DOI10.1007/978-3-642-36675-8_13zbMath1276.68139arXiv1209.3914MaRDI QIDQ4913871
Publication date: 16 April 2013
Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.3914
Uses Software