語系
O'Sullivan, Barry.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent advances in constraints14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers /
by:
(1998 :); Larrosa, Javier.; O'Sullivan, Barry.; SpringerLink (Online service)
(書目-電子資源)
Trustworthy AI - integrating learning, optimization and reasoningfirst International Workshop, TAILOR 2020, virtual event, September 4-5, 2020 : revised selected papers /
by:
(1998 :); Heintz, Fredrik.; Milano, Michela.; O'Sullivan, Barry.; SpringerLink (Online service)
(書目-電子資源)
Principles and practice of constraint programming20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings /
by:
(1998 :); O'Sullivan, Barry.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Artificial intelligence
Logics and Meanings of Programs.
Mathematics of Computing.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Constraints (Artificial intelligence)
Artificial Intelligence.
Computer Science.
Computer Appl. in Social and Behavioral Sciences.
Constraint programming (Computer science)
Symbolic and Algebraic Manipulation.
Computers and Education.