Languages
Dowek, Gilles.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
Armando, Alessandro.; Baumgartner, Peter.; Dowek, Gilles.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Principles of programming languages
by:
Dowek, Gilles.; SpringerLink (Online service)
(Electronic resources)
Proofs and algorithms = an introduction to logic and computability /
by:
Dowek, Gilles.; SpringerLink (Online service)
(Electronic resources)
Introduction to the theory of programming languages
by:
SpringerLink (Online service); Dowek, Gilles.; Levy, Jean-Jacques.
(Electronic resources)
Subjects
Software Engineering.
Computer logic
Artificial Intelligence (incl. Robotics)
Programming languages (Electronic computers)- Semantics.
Algorithm Analysis and Problem Complexity.
Logic, Symbolic and mathematical.
Automatic theorem proving
Theory of Computation.
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.