Hnich, Brahim.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Recent Advances in Constraints (vol. # 3978)Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Ppers /
by:
(1998 :); Hnich, Brahim.; SpringerLink (Online service)
(書目-電子資源)
主題
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)