Languages
King, Andy.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
Kiselyov, Oleg.; King, Andy.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); King, Andy.; SpringerLink (Online service)
(Language materials, printed)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Kiselyov, Oleg.; King, Andy.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Software engineering.
Computer Science.
Programming Techniques.
Computer programming.
Logic programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).