OpenLibra | Introducción a la demostracción asistida por ordenador con Isabelle/HOL
Sección: Biblioteca Machadines
Creado: 14-11-21 (Actualizado: 07-06-22)
Este libro es una recopilación de los temas y relaciones de ejercicios del curso de Razonamiento automático. El curso es una introducción a la demostración…
https://openlibra.com/es/book/introduccion-a-la-demostraccion-asistida-por-ordenador-con-isabellehol