Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers / [electronic resource] :
edited by Christophe Jermann, Arnold Neumaier, Djamila Sam.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3478 0302-9743 ; .
9783540320418
Computer science Logic design Electronic data processing Algebra--Data processing Computer Science Numeric Computing Logics and Meanings of Programs Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation