RA2011: Isabelle como un lenguaje funcional
En la clase de hoy del curso de Razonamiento automático se ha presentado
La clase se ha basado en la siguiente teoría Isabelle
Read More “RA2011: Isabelle como un lenguaje funcional”
En la clase de hoy del curso de Razonamiento automático se ha presentado
La clase se ha basado en la siguiente teoría Isabelle
Read More “RA2011: Isabelle como un lenguaje funcional”