03313nam 22007455 450 99646621700331620200703162701.03-540-32050-410.1007/11564751(CKB)1000000000213302(SSID)ssj0000319528(PQKBManifestationID)11256985(PQKBTitleCode)TC0000319528(PQKBWorkID)10339722(PQKB)11550951(DE-He213)978-3-540-32050-0(MiAaPQ)EBC3067971(PPN)123098033(EXLCZ)99100000000021330220100728d2005 u| 0engurnn|008mamaatxtccrPrinciples and Practice of Constraint Programming - CP 2005[electronic resource] 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /edited by Peter van Beek1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XX, 888 p.) Programming and Software Engineering ;3709Bibliographic Level Mode of Issuance: Monograph3-540-29238-1 Includes bibliographical references and index.Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations.Programming and Software Engineering ;3709Software engineeringComputer programmingProgramming languages (Electronic computers)Artificial intelligenceComputer logicMathematical logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Computer programming.Programming languages (Electronic computers).Artificial intelligence.Computer logic.Mathematical logic.Software Engineering/Programming and Operating Systems.Programming Techniques.Programming Languages, Compilers, Interpreters.Artificial Intelligence.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.005.1/16van Beek Peteredthttp://id.loc.gov/vocabulary/relators/edtBOOK996466217003316Principles and Practice of Constraint Programming - CP 2005772600UNISA