Logic, Language, Information, and Computation
- Springer 2016
- Lecture Notes in Computer Science .
9783662529218
Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity