Title: Computer science logic
Subjects: Computer logic, Congresses, Computational logic, Logik, Theoretische Informatik, Logische Programmierung, Programmierlogik, Logic design, Software engineering, Computer science, Artificial intelligence, Computer software, Logic, Logic programming
Places: Brünn <2010>