語系
Faltings, Boi.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
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:
Faltings, Boi.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer Science.
Constraint programming (Computer science)
Programming Languages, Compilers, Interpreters.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Numeric Computing.