Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Lloyd, John (Editor, http://id.loc.gov/vocabulary/relators/edt), Dahl, Veronica (Editor, http://id.loc.gov/vocabulary/relators/edt), Furbach, Ulrich (Editor, http://id.loc.gov/vocabulary/relators/edt), Kerber, Manfred (Editor, http://id.loc.gov/vocabulary/relators/edt), Lau, Kung-Kiu (Editor, http://id.loc.gov/vocabulary/relators/edt), Palamidessi, Catuscia (Editor, http://id.loc.gov/vocabulary/relators/edt), Pereira, Luis M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sagiv, Yehoshua (Editor, http://id.loc.gov/vocabulary/relators/edt), Stuckey, Peter J. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Edition: 1st ed. 2000.
• Series: Lecture Notes in Artificial Intelligence ; 1861
• Subjects: Artificial intelligence.; Software engineering.; Architecture, Computer.; Mathematical logic.; Computer logic.; Computer programming.; Artificial Intelligence.; Software Engineering/Programming and Operating Systems.; Computer System Implementation.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Programming Techniques.

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 covered all aspects of the theory, implementation, and application of computational logic, where com...