Faltings, Boi.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Recent Advances in Constraintsjoint 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:
(1998 :); Faltings, Boi.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Numeric Computing.
Computer Science.
Constraint programming (Computer science)