Languages
Kuchen, Herbert.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings /
by:
Kuchen, Herbert.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers /
by:
SpringerLink (Online service); Kuchen, Herbert.; Hofstedt, Petra.; Abreu, Salvador.; Seipel, Dietmar.; John, Ulrich.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Functional programming (Computer science)
Artificial Intelligence.
Artificial intelligence.
Symbolic and Algebraic Manipulation.
Constraint programming (Computer science)
Computer Communication Networks.
Computers.
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Imaging, Vision, Pattern Recognition and Graphics.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Information Systems and Communication Service.