01548nlm0 22004331i 450 9900092401204033219783540320418000924012FED01000924012(Aleph)000924012FED0100092401220100926d2005----km-y0itay50------baengDEdrnn-008mamaaGlobal Optimization and Constraint SatisfactionRisorsa elettronicaSecond International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papersedited by Christophe Jermann, Arnold Neumaier, Djamila SBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433478Documento elettronicoTestoFormato html, pdfJermann,ChristopheNeumaier,ArnoldSam,DjamilaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b136292EB990009240120403321AlgebraData processingComputer scienceComputer ScienceElectronic data processingLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesNumeric ComputingSymbolic and Algebraic ManipulationGlobal Optimization and Constraint Satisfaction772774UNINA