語系
Larrosa, Javier.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Larrosa, Javier.; O'Sullivan, Barry.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial Intelligence (incl. Robotics)
Constraints (Artificial intelligence)
Algorithm Analysis and Problem Complexity.
Computer Science.
Constraint programming (Computer science)
Symbolic and Algebraic Manipulation.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.