Normal view
MARC view
Global Optimization and Constraint Satisfaction Электронный ресурс Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers edited by Christophe Jermann, Arnold Neumaier, Djamila Sam
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005ISBN: 9783540320418Subject(s): Algebra -- Data processing | Computer Science | Electronic data processing | Logic design | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Numeric Computing | Symbolic and Algebraic ManipulationOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.