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.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logic programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.