Catalog

Record Details

Catalog Search



Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers  Cover Image E-book E-book

Recent Advances in Constraints [electronic resource] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers / edited by Javier Larrosa, Barry O’Sullivan.

Electronic resources


LDR 02091nam a22005055i 4500
00139940
003CONS
00520130930041258.0
007cr nn 008mamaa
008110311s2011 gw | s |||| 0|eng d
020 . ‡a9783642194863 ‡9978-3-642-19486-3
0247 . ‡a10.1007/978-3-642-19486-3 ‡2doi
035 . ‡a(DE-He213)978-3-642-19486-3
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aLarrosa, Javier. ‡eeditor.
24510. ‡aRecent Advances in Constraints ‡h[electronic resource] : ‡b14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers / ‡cedited by Javier Larrosa, Barry O’Sullivan.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2011.
300 . ‡aVII, 155 p. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6384
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aAlgorithm Analysis and Problem Complexity.
7001 . ‡aO’Sullivan, Barry. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642194856
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6384
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-19486-3 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a39940 ‡b ‡c39940 ‡tbiblio ‡sSystem Local

Additional Resources