LEADER 04532nam  22007935  450 
001 996465815003316
005 20200701200044.0
010   $a3-540-45193-5
024 7 $a10.1007/b13743
035   $a(CKB)1000000000212201
035   $a(SSID)ssj0000325824
035   $a(PQKBManifestationID)11252903
035   $a(PQKBTitleCode)TC0000325824
035   $a(PQKBWorkID)10253542
035   $a(PQKB)11622250
035   $a(DE-He213)978-3-540-45193-8
035   $a(MiAaPQ)EBC3087564
035   $a(PPN)155168894
035   $a(EXLCZ)991000000000212201
100   $a20121227d2003      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPrinciples and Practice of Constraint Programming - CP 2003$b[electronic resource] $e9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings /$fedited by Francesca Rossi
205   $a1st ed. 2003.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003.
215   $a1 online resource (XXXVIII, 1008 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2833
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-20202-1 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aInvited Papers -- Best Paper -- Full Papers -- Poster Papers -- Doctoral Abstracts.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2833
606   $aComputer programming
606   $aArtificial intelligence
606   $aData structures (Computer science)
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical logic
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aComputer programming.
615  0$aArtificial intelligence.
615  0$aData structures (Computer science).
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aProgramming Techniques.
615 24$aArtificial Intelligence.
615 24$aData Structures.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1/1
702   $aRossi$b Francesca$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465815003316
996   $aPrinciples and Practice of Constraint Programming - CP 2003$92004629
997   $aUNISA