Title: Computational logic--CL 2000 : First International Conference, London, UK, July 24-28, 2000 : proceedings /
Authors: Lloyd, J. W. 1947-
Publisher: Springer,
Year: 2000
Subjects: Computer logic Congresses.