Title: Computational logic--CL 2000
First published: 2000
Subjects: Computer logic, Congresses, Logic
LC classification: QA76.9.L63 C65 2000