×

zbMATH — the first resource for mathematics

Found 40 Documents (Results 1–40)

100
MathJax
Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 293-301 (2016).
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, 116-130 (2009).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 214-229 (2009).
MSC:  03B15 03F05
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

Filter Results by …

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