04532nam 22007935 450 99646581500331620200701200044.03-540-45193-510.1007/b13743(CKB)1000000000212201(SSID)ssj0000325824(PQKBManifestationID)11252903(PQKBTitleCode)TC0000325824(PQKBWorkID)10253542(PQKB)11622250(DE-He213)978-3-540-45193-8(MiAaPQ)EBC3087564(PPN)155168894(EXLCZ)99100000000021220120121227d2003 u| 0engurnn|008mamaatxtccrPrinciples and Practice of Constraint Programming - CP 2003[electronic resource] 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings /edited by Francesca Rossi1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XXXVIII, 1008 p.) Lecture Notes in Computer Science,0302-9743 ;2833Bibliographic Level Mode of Issuance: Monograph3-540-20202-1 Includes bibliographical references at the end of each chapters and index.Invited Papers -- Best Paper -- Full Papers -- Poster Papers -- Doctoral Abstracts.This volume contains the proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003), held in Kinsale, Ireland, from September 29 to October 3, 2003. Detailed information about the CP 2003 conference can be found at the URL http://www.cs.ucc.ie/cp2003/ The CP conferences are held annually and provide an international forum for the latest results on all aspects of constraint programming. Previous CP conferences were held in Cassis (France) in 1995, in Cambridge (USA) in 1996, in Schloss Hagenberg (Austria) in 1997, in Pisa (Italy) in 1998, in Alexandria (USA) in 1999, in Singapore in 2000, in Paphos (Cyprus) in 2001, and in Ithaca (USA) in 2002. Like previous CP conferences, CP 2003 again showed the interdisciplinary nature of computing with constraints, and also its usefulness in many problem domains and applications. Constraint programming, with its solvers, languages, theoretical results, and applications, has become a widely recognized paradigm to model and solve successfully many real-life problems, and to reason about problems in many research areas.Lecture Notes in Computer Science,0302-9743 ;2833Computer programmingArtificial intelligenceData structures (Computer science)Programming languages (Electronic computers)Computer logicMathematical logicProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Data Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I15017Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer programming.Artificial intelligence.Data structures (Computer science).Programming languages (Electronic computers).Computer logic.Mathematical logic.Programming Techniques.Artificial Intelligence.Data Structures.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.005.1/1Rossi Francescaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465815003316Principles and Practice of Constraint Programming - CP 20032004629UNISA