Languages
Urban, Christian.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
Zhang, Xingyuan.; SpringerLink (Online service); Urban, Christian.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
by:
Urban, Christian.; Zhang, Xingyuan.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Artificial Intelligence (incl. Robotics)
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Logic, Symbolic and mathematical
Computer Science.
Computer security.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.