Stuckey, Peter J.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings /
by:
Stuckey, Peter J.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and logic programming = 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004: proceedings /
by:
SpringerLink (Online service); Stuckey, Peter J.; Kameyama, Yukiyoshi.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
by:
Mesnard, Fred.; SpringerLink (Online service); Stuckey, Peter J.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings /
by:
SpringerLink (Online service); Stuckey, Peter J.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Stuckey, Peter J.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Software Engineering.
Computer organization.
Computer science—Mathematics.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Computer networks .
Artificial intelligence.
Software engineering.
Computer Appl. in Administrative Data Processing.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Logic programming
Computer Engineering and Networks.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.
Functional programming (Computer science)
Artificial Intelligence.
Constraint programming (Computer science)
Computer science.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).