Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning
- Springer 2015
- Lecture Notes in Computer Science .
9783662488997
Software Engineering; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Programming Languages, Compilers, Interpreters