×

zbMATH — the first resource for mathematics

Found 68 Documents (Results 1–68)

100
MathJax
Lecture Notes in Computer Science 10895. Cham: Springer (ISBN 978-3-319-94820-1/pbk; 978-3-319-94821-8/ebook). xvii, 642 p. (2018).
MSC:  68-06 68T15 00B25
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 378-388 (2015).
MSC:  68V15 68V20
PDF BibTeX XML Cite
Full Text: DOI
Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 61-76 (2014).
MSC:  68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI Link
Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press. ix, 468 p. (2013).
MSC:  03-02 55-02 03B15 03G30 18A15 18B05 55U40
PDF BibTeX XML Cite
Full Text: arXiv Link
Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 163-179 (2013).
MSC:  68T15 03B35 20-04 20D10
PDF BibTeX XML Cite
Full Text: DOI Link
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 305-314 (2012).
MSC:  03D78 03B25 03D15
PDF BibTeX XML Cite
Full Text: DOI
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 286-300 (2012).
MSC:  03B35 03B25
PDF BibTeX XML Cite
Full Text: DOI
Ferreirós, José (ed.) et al., The architecture of modern mathematics. Essays in history and philosophy. Oxford: Oxford University Press (ISBN 0-19-856793-6/hbk). 159-186 (2006).
PDF BibTeX XML Cite
Basin, David (ed.) et al., Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22345-2/pbk). Lecture Notes in Computer Science 3097. Lecture Notes in Artificial Intelligence, 357-371 (2004).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Buss, Samuel R. (ed.) et al., Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lect. Notes Log. 13, 57-90 (2000).
PDF BibTeX XML Cite
Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 1-12 (1998).
PDF BibTeX XML Cite

Filter Results by …

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