Jermann, Christophe.
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. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3478 0302-9743 ; . - Lecture Notes in Computer Science, 3478 .
9783540320418
10.1007/b136292 doi
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.
QA297-299.4
518
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. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3478 0302-9743 ; . - Lecture Notes in Computer Science, 3478 .
9783540320418
10.1007/b136292 doi
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.
QA297-299.4
518