Languages
Veith, Helmut.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Computer science logic24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(1998 :); Dawar, Anuj.; SpringerLink (Online service); Veith, Helmut.
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
Cervesato, Iliano.; LPAR 2008 (Dawhah, Qatar)) ((2008 :); SpringerLink (Online service); Veith, Helmut.; Voronkov, Andrei.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Logic programming
Programming Techniques.
Computer logic
Programming Languages, Compilers, Interpreters.
Computer Science.