Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings - CL 2000 (2000 : London, England); Lloyd, J. W. (John Wylie), 1947- (Berlin ; New York : Springer, 2000)
Includes bibliographical references and index.
Keywords: Computer logic -- Congresses