Lloyd, John. et al Eds.
Computational Logic - CL 2000 : Proceedings of the First International Conference, London, 2000 - Berlin Springer 2000 - 1376 - Lecture notes in artificial intelligence ; 01861 .
3540677976
Computational Logic
681 LNCS
Computational Logic - CL 2000 : Proceedings of the First International Conference, London, 2000 - Berlin Springer 2000 - 1376 - Lecture notes in artificial intelligence ; 01861 .
3540677976
Computational Logic
681 LNCS