Languages
Kuchen, Herbert.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Functional and constraint logic programming20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings /
by:
(1998 :); Kuchen, Herbert.; SpringerLink (Online service)
(Electronic resources)
Programming languagesimplementations, logics, and programs : 9th international symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings /
by:
(1998 :); Glaser, Hugh.; Hartel, Pieter.; Kuchen, Herbert.; SpringerLink (Online service)
(Electronic resources)
Functional and logic programming5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings /
by:
(1998 :); Kuchen, Herbert.; SpringerLink (Online service); Ueda, Kazunori.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Computer programming
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Functional programming (Computer science)
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer Science.
Constraint programming (Computer science)
Symbolic and Algebraic Manipulation.