LEADER 01724nlm0 22004811i 450 001 990009244590403321 010 $a9783540322528 035 $a000924459 035 $aFED01000924459 035 $a(Aleph)000924459FED01 035 $a000924459 100 $a20100926d2005----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aRecent Advances in Constraints$bRisorsa elettronica$eJoint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers 210 $aBerlin ; Heidelberg$cSpringer$d2005 225 1 $aLecture Notes in Computer Science$x0302-9743$v3419 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aFages,$bFrançois 702 1$aFaltings,$bBoi V. 702 1$aPetcu,$bAdrian 702 1$aRossi,$bFrancesca 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/b106890 901 $aEB 912 $a990009244590403321 961 $aAlgorithm Analysis and Problem Complexity 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer science 961 $aComputer Science 961 $aComputer software 961 $aElectronic data processing 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aMathematical Logic and Formal Languages 961 $aNumeric Computing 961 $aProgramming Languages, Compilers, Interpreters 996 $aRecent Advances in Constraints$9772535 997 $aUNINA