000 | 03663nam a22006495i 4500 | ||
---|---|---|---|
001 | 978-3-540-45406-9 | ||
003 | DE-He213 | ||
005 | 20240423132430.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s2001 gw | s |||| 0|eng d | ||
020 |
_a9783540454069 _9978-3-540-45406-9 |
||
024 | 7 |
_a10.1007/3-540-45406-3 _2doi |
|
050 | 4 | _aQA76.9.S88 | |
072 | 7 |
_aUYD _2bicssc |
|
072 | 7 |
_aCOM011000 _2bisacsh |
|
072 | 7 |
_aUYD _2thema |
|
082 | 0 | 4 |
_a004.2 _223 |
245 | 1 | 0 |
_aConstraints in Computational Logics: Theory and Applications _h[electronic resource] : _bInternational Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / _cedited by Hubert Comon, Claude Marche, Ralf Treinen. |
250 | _a1st ed. 2001. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2001. |
|
300 |
_aXII, 316 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v2002 |
|
505 | 0 | _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. | |
520 | _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. | ||
650 | 0 | _aComputer systems. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aMachine theory. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputer science. | |
650 | 0 | _aComputer programming. | |
650 | 1 | 4 | _aComputer System Implementation. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
650 | 2 | 4 | _aArtificial Intelligence. |
650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aProgramming Techniques. |
700 | 1 |
_aComon, Hubert. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aMarche, Claude. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aTreinen, Ralf. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540419501 |
776 | 0 | 8 |
_iPrinted edition: _z9783662207116 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v2002 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/3-540-45406-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c187688 _d187688 |