TY - BOOK AU - Leonardo de Moura TI - Automated Deduction � CADE 26 SN - 9783319630465 PY - 2017/// PB - Springer KW - Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity UR - http://link.springer.com/openurl?genre=book&isbn=978-3-319-63045-8 ER -