Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Stuckey, Peter J. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2401
• Θέματα: Architecture, Computer.; Software engineering.; Mathematical logic.; Artificial intelligence.; Computer programming.; Programming languages (Electronic computers).; Computer System Implementation.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Foundations.; Artificial Intelligence.; Programming Techniques.; Programming Languages, Compilers, Interpreters.
• Φυσική περιγραφή: XI, 486 p. online resource.
• ISBN: 9783540456193
• ISSN: 0302-9743 ;
• DOI: 10.1007/3-540-45619-8

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.