Title: Computer science logic
Subjects: Computer logic, Kongress, Congresses, Computational logic, Programmierlogik, Theoretische Informatik, Logische Programmierung, Logik, Logic, symbolic and mathematical
Places: Coimbra <2009>