×

zbMATH — the first resource for mathematics

Found 43 Documents (Results 1–43)

100
MathJax
Fillion, Nicolas (ed.) et al., Algorithms and complexity in mathematics, epistemology, and science. Proceedings of 2015 and 2016 ACMES conferences, London, UK. Selected papers. New York, NY: Springer; Toronto: The Fields Institute for Research in the Mathematical Sciences. Fields Inst. Commun. 82, 81-132 (2019).
MSC:  68V15 00A79
PDF BibTeX XML Cite
Full Text: DOI
Aberdein, Andrew (ed.) et al., The argument of mathematics. Dordrecht: Springer (ISBN 978-94-007-6533-7/hbk; 978-94-007-6534-4/ebook). Logic, Epistemology, and the Unity of Science 30, 147-170 (2013).
MSC:  00A30 00A35 03-03 01A60 01A61 03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Voronkov, Andrei (ed.) et al., Programming logics. Essays in memory of Harald Ganzinger. Berlin: Springer (ISBN 978-3-642-37650-4/pbk). Lecture Notes in Computer Science 7797, 1-18 (2013).
MSC:  68-03 01A70 03B70 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
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, 101-130 (2013).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Full Text: DOI
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, 15-44 (2013).
MSC:  68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI
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, 1-14 (2013).
MSC:  68-03 01A70 68T15
PDF BibTeX XML Cite
Full Text: DOI
Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 388-403 (2009).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 306-321 (2009).
MSC:  68T15 03B35 03B47
PDF BibTeX XML Cite
Full Text: DOI
Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 1-8 (2003).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software