04739nam 22008415 450 991076754150332120200703124733.03-540-45406-310.1007/3-540-45406-3(CKB)1000000000211462(SSID)ssj0000322281(PQKBManifestationID)11246287(PQKBTitleCode)TC0000322281(PQKBWorkID)10286762(PQKB)11424299(DE-He213)978-3-540-45406-9(MiAaPQ)EBC3072674(PPN)155205714(EXLCZ)99100000000021146220121227d2001 u| 0engurnn#008mamaatxtccrConstraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /edited by Hubert Comon, Claude Marche, Ralf Treinen1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (XII, 316 p.)Lecture Notes in Computer Science,0302-9743 ;2002Bibliographic Level Mode of Issuance: Monograph3-540-41950-0 Includes bibliographical references at the end of each chapters.Constraints and Constraint Solving: An Introduction -- Constraint Solving on Terms -- Combining Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming -- Building Industrial Applications with Constraint Programming.Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects. This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.Lecture Notes in Computer Science,0302-9743 ;2002Architecture, ComputerSoftware engineeringMathematical logicArtificial intelligenceComputer logicComputer programmingComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Architecture, Computer.Software engineering.Mathematical logic.Artificial intelligence.Computer logic.Computer programming.Computer System Implementation.Software Engineering/Programming and Operating Systems.Mathematical Logic and Formal Languages.Artificial Intelligence.Logics and Meanings of Programs.Programming Techniques.005.11Comon Hubertedthttp://id.loc.gov/vocabulary/relators/edtMarche Claudeedthttp://id.loc.gov/vocabulary/relators/edtTreinen Ralfedthttp://id.loc.gov/vocabulary/relators/edtESPRIT CCL Working Group.CCL'99(1999 :Gif-sur-Yvette, France)MiAaPQMiAaPQMiAaPQBOOK9910767541503321Constraints in Computational Logics: Theory and Applications1945004UNINA