Title: Computational logic--CL 2000
Subjects: Computer logic, Congresses