語系
Pichardie, David.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Paulin-Mohring, Christine.; Blazy, Sandrine.; Pichardie, David.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /
by:
Sighireanu, Mihaela.; SpringerLink (Online service); Pichardie, David.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Systems and Data Security.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Special Purpose and Application-Based Systems.
Automatic theorem proving
Computer Communication Networks.
Software engineering.
Logic, Symbolic and mathematical
Architecture, Computer.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.