International Conference on Computational Logic (CL)

1. CL 2000: London, UK

CL 2000 Home Page

a service of Schloss Dagstuhl - Leibniz Center for Informatics