×

zbMATH — the first resource for mathematics

Found 47 Documents (Results 1–47)

100
MathJax
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 40-55 (2017).
MSC:  68T15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 196-213 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24311-5/pbk; 978-3-319-24312-2/ebook). Lecture Notes in Computer Science 9323. Lecture Notes in Artificial Intelligence., 86-101 (2015).
MSC:  68T15
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 (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 295-310 (2015).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 54-69 (2011).
MSC:  03B70 03B35 03F07 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 162-176 (2011).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 76-90 (2011).
MSC:  03F05
PDF BibTeX XML Cite
Full Text: DOI
Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 181-197 (2009).
MSC:  03B35 03B20 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 169-185 (2009).
MSC:  03F05 03B35
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, M. (ed.) et al., Proceedings of the second workshop on logical and semantic frameworks, with applications (LSFA 2007), Ouro Preto, Brazil, August 28–29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 205, 137-144 (2008).
MSC:  03F05 03C98
PDF BibTeX XML Cite
Full Text: DOI
Dahn, Ingo (ed.) et al., Proceedings of the workshop on mathematics, logic and computation (satellite event of ICALP 2003), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 85, No. 7, 17-29 (2003).
MSC:  03B25 03B15 03B20 68T15
PDF BibTeX XML Cite
Full Text: DOI
van den Brand, Mark (ed.) et al., RULE 2001. Proceedings of the 2nd international workshop on rule-based programming (Satellite Event of PLI 2001), Florence, Italy, September 4, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 59, No. 4, 320-340 (2001).
MSC:  68Q42 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
all top 3
Software