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