Faltings, Boi.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Faltings, Boi.
(Language materials, printed)
Subjects
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer Science.
Constraint programming (Computer science)
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Numeric Computing.
Programming Languages, Compilers, Interpreters.