語系
Ayala-Rincon, Mauricio.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
Ayala-Rincon, Mauricio.; SpringerLink (Online service); Munoz, Cesar A.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Applied logic for computer scientists = computational deduction and formal proofs /
by:
SpringerLink (Online service); Ayala-Rincon, Mauricio.; de Moura, Flavio L.C.
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer logic.
Math Applications in Computer Science.
Automatic theorem proving
System Performance and Evaluation.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science