Languages
Pichardie, David.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings /
by:
Sighireanu, Mihaela.; SpringerLink (Online service); Pichardie, David.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.