Languages
Ayala-Rincon, Mauricio.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Applied logic for computer scientists = computational deduction and formal proofs /
by:
Ayala-Rincon, Mauricio.; de Moura, Flavio L.C.; SpringerLink (Online service)
(Electronic resources)
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
ITP (Conference) (2017 :); Ayala-Rincon, Mauricio.; Munoz, Cesar A.; SpringerLink (Online service)
(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- Mathematics.
Computer Science.
Math Applications in Computer Science.
System Performance and Evaluation.