Showing 1 - 2 results of 2 for search 'Ayala-Rincón, Mauricio', query time: 0.01s Refine Results
1
Applied logic for computer scientists : computational deduction and formal proofs /
by Ayala-Rincón, Mauricio
Published 2017
Book
2
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /
Published 2017
Other Authors: “...Ayala-Rincón, Mauricio....”
eBook
Search Tools: Get RSS Feed — Email this Search