Languages
Ayala-Rincon, Mauricio.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
Applied logic for computer scientists = computational deduction and formal proofs /
by:
SpringerLink (Online service); Ayala-Rincon, Mauricio.; de Moura, Flavio L.C.
(Language materials, printed)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer logic.
Math Applications in Computer Science.
Computer Science.
Automatic theorem proving
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
System Performance and Evaluation.
Computer science
Software engineering