Introducción a la Demostración Asistida por Ordenador con Isabelle/HOL – Libro Gratis Autor de la entrada:Jesús Amaro Publicación de la entrada:25 octubre, 2021 Categoría de la entrada:Libros/OpenLibra Comentarios de la entrada:Sin comentarios
