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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha