Mostrando 1 - 2 Resultados de 2 Para Buscar 'Ayala-Rincón, Mauricio', tiempo de consulta: 0.01s Limitar resultados
1
Applied logic for computer scientists : computational deduction and formal proofs /
por Ayala-Rincón, Mauricio
Publicado 2017
Libro
2
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Publicado 2017
Otros Autores: “...Ayala-Rincón, Mauricio....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda