×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–12)

100
MathJax
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, 151-164 (2013).
MSC:  68T15 03B35 20N05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type
all top 5
Year of Publication
Classification
all top 3
Software