Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi
Recent Advances in Constraints
- 2007
978-3-540-73817-6
Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Numeric Computing Programming Languages, Compilers, Interpreters Computer Science