Computational logic--CL 2000
Subtitle: First International Conference, London, UK, July 2000 : proceedings
By: John Lloyd ... [et al.] (eds.).
Contributors: Lloyd, J. W. 1947-
Series: Lecture notes in computer science -- 1861. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 1861.; Lecture notes in computer science
Publisher: Springer
Published: 2000
Place of publication: Berlin; New York
Language: eng
Number of pages: 1379
Subjects: Computer logic -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.