Languages
Stuckey, Peter J.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Logic programming = 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
by:
Stuckey, Peter J.; SpringerLink (Online service); International Conference on Logic Programming (2002 :)
(Language materials, printed)
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
Stuckey, Peter J.; SpringerLink (Online service); CP 2008 ((2008 :)
(Language materials, printed)
Functional and logic programming = 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004: proceedings /
by:
Kameyama, Yukiyoshi.; Stuckey, Peter J.; SpringerLink (Online service); Fuji International Symposium on Functional and Logic Programming ((2004 :)
(Language materials, printed)
Functional and logic programming = 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings /
by:
Kameyama, Yukiyoshi.; Stuckey, Peter J.; NetLibrary, Inc.; International Symposium on Functional and Logic Programming
(Language materials, printed)
Logic-based program synthesis and transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers /
by:
LOPSTR (Symposium) (2018 :); Mesnard, Fred.; Stuckey, Peter J.; SpringerLink (Online service)
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings /
by:
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (2021 :); Stuckey, Peter J.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Theory of Computation.
Constraint programming (Computer science)- Congresses.
Logics and Meanings of Programs.
Mathematics of Computing.
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer Appl. in Administrative Data Processing.
Programming Languages, Compilers, Interpreters.
Computer logic
Functional programming (Computer science)
Artificial Intelligence.
Computer Science.
Computer software- Development
Combinatorial optimization- Data processing
Computer Systems Organization and Communication Networks.
Constraint programming (Computer science)