Computational Logic -- CL 2000: First International Conference London, Uk, July 24-28, 2000 Proceedings

By John Lloyd

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: B00CX2V2E6
• ISBN13: 9783540677970
• Release Date: July 2000
• Publisher: Springer
• Length: 1382 Pages