Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers Cover Image E-book E-book

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

Fages, François. (editor.). Rossi, Francesca. (editor.). Soliman, Sylvain. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540898122
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Search for related items by subject

Subject: Computer science
Computer software
Logic design
Electronic data processing
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Numeric Computing
Mathematical Logic and Formal Languages

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02118nam a22005175i 4500
00137868
003CONS
00520131219230214.0
007cr nn 008mamaa
008100301s2008 gw | s |||| 0|eng d
020 . ‡a9783540898122 ‡9978-3-540-89812-2
0247 . ‡a10.1007/978-3-540-89812-2 ‡2doi
035 . ‡a(DE-He213)978-3-540-89812-2
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aFages, François. ‡eeditor.
24510. ‡aRecent Advances in Constraints ‡h[electronic resource] : ‡b12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / ‡cedited by François Fages, Francesca Rossi, Sylvain Soliman.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2008.
300 . ‡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 ; ‡v5129
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
650 0. ‡aElectronic data processing.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aProgramming Languages, Compilers, Interpreters.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aNumeric Computing.
65024. ‡aMathematical Logic and Formal Languages.
7001 . ‡aRossi, Francesca. ‡eeditor.
7001 . ‡aSoliman, Sylvain. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540898115
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5129
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-89812-2 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a37868 ‡b ‡c37868 ‡tbiblio ‡sSystem Local

Additional Resources