Dowek, Gilles.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Introduction to the theory of programming languages
by:
Dowek, Gilles.; Levy, Jean-Jacques.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
Proofs and algorithms = an introduction to logic and computability /
by:
Dowek, Gilles.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Theory of Computation.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer logic
Artificial Intelligence (incl. Robotics)
Logic, Symbolic and mathematical.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.