語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Constraints (Artificial intelligence)
概要
作品:
7 作品在 3 項出版品 3 種語言
書目資訊
Complexity classifications of Boolean constraint satisfaction problems
by:
(書目-語言資料,印刷品)
Complexity of constraints = an overview of current research themes /
by:
(書目-語言資料,印刷品)
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:
(書目-電子資源)
Constraint decision-making systems in engineering
by:
(書目-電子資源)
Efficient solving of large arithmetic constraint systems with complex Boolean structure = proof engines for the analysis of hybrid discrete-continuous systems /
by:
(書目-電子資源)
Bridging constraint satisfaction and Boolean satisfiability
by:
(書目-電子資源)
Intelligent autonomous control of spacecraft with multiple constraints
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Computer Science, general.
Theory of Computation.
Computational complexity.
Logics and Meanings of Programs.
Decision support systems.
Algebra, Boolean.
Contraintes (Intelligence artificielle)
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer Graphics.
Data Structures.
Programming Languages, Compilers, Interpreters.
Numeric Computing.
Automatic theorem proving.
Constraints (Artificial intelligence)
Computer science- Mathematics.
Space vehicles- Automatic control.
Control, Robotics, Automation.
Aerospace Technology and Astronautics.
Computer Science.
Discrete Mathematics in Computer Science.
Constraint programming (Computer science)
Symbolic and Algebraic Manipulation.
Intelligent agents (Computer software)
處理中
...
變更密碼
登入