Introducción a la Demostración Asistida por Ordenador con Isabelle/HOL – Libro GratisAutor de la entrada:JesúsPublicación de la entrada:25 octubre, 2021Categoría de la entrada:Libros/OpenLibraComentarios de la entrada:Sin comentarios