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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Lloyd, John (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Dahl, Veronica (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Furbach, Ulrich (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kerber, Manfred (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Lau, Kung-Kiu (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Palamidessi, Catuscia (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pereira, Luis M. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sagiv, Yehoshua (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Stuckey, Peter J. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1861
• Θέματα: 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...