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