語系
Creignou, Nadia.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Complexity of constraints = an overview of current research themes /
by:
SpringerLink (Online service); Vollmer, Heribert; Creignou, Nadia.; Kolaitis, Phokion.
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
by:
SpringerLink (Online service); Le Berre, Daniel.; Creignou, Nadia.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
by:
Le Berre, Daniel.; SpringerLink (Online service); Creignou, Nadia.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Computer algorithms
Software Engineering.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Computational complexity.
Artificial intelligence.
Software engineering.
Computer Graphics.
Theory of Computation.
Constraints (Artificial intelligence)
Data Structures.
Computers.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Computer Science.
Numeric Computing.
Computer software
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.