語系
Klein, Gerwin.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Interactive theorem proving = 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
Klein, Gerwin.; Gamboa, Ruben.; SpringerLink (Online service)
(書目-電子資源)
Concrete semantics = with Isabelle/HOL /
by:
Nipkow, Tobias.; Klein, Gerwin.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Logic design.
Programming Languages, Compilers, Interpreters.
Automatic theorem proving.
Logic, Symbolic and mathematical
Computer Science.
Systems and Data Security.
Computer science.