×

Found 3 Documents (Results 1–3)

Theorem proving in large formal mathematics as an emerging AI field. (English) Zbl 1276.68139

Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 240-257 (2013).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Year of Publication

Main Field

all top 3

Software