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