LEADER 04739nam  22008415  450 
001 9910767541503321
005 20200703124733.0
010   $a3-540-45406-3
024 7 $a10.1007/3-540-45406-3
035   $a(CKB)1000000000211462
035   $a(SSID)ssj0000322281
035   $a(PQKBManifestationID)11246287
035   $a(PQKBTitleCode)TC0000322281
035   $a(PQKBWorkID)10286762
035   $a(PQKB)11424299
035   $a(DE-He213)978-3-540-45406-9
035   $a(MiAaPQ)EBC3072674
035   $a(PPN)155205714
035   $a(EXLCZ)991000000000211462
100   $a20121227d2001      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aConstraints in Computational Logics: Theory and Applications $eInternational Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /$fedited by Hubert Comon, Claude Marche, Ralf Treinen
205   $a1st ed. 2001.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001.
215   $a1 online resource (XII, 316 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2002
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-41950-0 
320   $aIncludes bibliographical references at the end of each chapters.
327   $aConstraints 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.
330   $aConstraints 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2002
606   $aArchitecture, Computer
606   $aSoftware engineering
606   $aMathematical logic
606   $aArtificial intelligence
606   $aComputer logic
606   $aComputer programming
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aArchitecture, Computer.
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615  0$aComputer logic.
615  0$aComputer programming.
615 14$aComputer System Implementation.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
676   $a005.11
702   $aComon$b Hubert$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMarche$b Claude$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTreinen$b Ralf$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 02$aESPRIT CCL Working Group.
712 12$aCCL'99$f(1999 :$eGif-sur-Yvette, France)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910767541503321
996   $aConstraints in Computational Logics: Theory and Applications$91945004
997   $aUNINA