Automated Deduction � CADE 26
Leonardo de Moura
Automated Deduction � CADE 26 - Springer 2017 - Lecture Notes in Computer Science .
9783319630465
Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity
Automated Deduction � CADE 26 - Springer 2017 - Lecture Notes in Computer Science .
9783319630465
Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity