語系
Dowek, Gilles.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated reasoning4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(1998 :); Armando, Alessandro.; Baumgartner, Peter.; Dowek, Gilles.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Introduction to the theory of programming languages
by:
Dowek, Gilles.; Levy, Jean-Jacques.; SpringerLink (Online service)
(書目-電子資源)
Proofs and algorithmsan introduction to logic and computability /
by:
Dowek, Gilles.; SpringerLink (Online service)
(書目-電子資源)
Rewriting and Typed Lambda Calculijoint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
(1998 :); Dowek, Gilles.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Rewriting systems (Computer science)
Computing Methodologies.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Lambda calculus
Mathematics of Computing.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer logic
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Algorithms.
Computer Science.
Symbolic and Algebraic Manipulation.