Languages
Ayala-Rincon, Mauricio.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Interactive theorem proving8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(1998 :); Ayala-Rincon, Mauricio.; Munoz, Cesar A.; SpringerLink (Online service)
(Electronic resources)
Applied logic for computer scientistscomputational deduction and formal proofs /
by:
Ayala-Rincon, Mauricio.; SpringerLink (Online service); de Moura, Flavio L.C.
(Electronic resources)
Subjects
Computer logic.
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Math Applications in Computer Science.
System Performance and Evaluation.