en Charla

Obtaining an ACL2 specification from an Isabelle/HOL theory

 

Ponente: Jose Divasón (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 2 de diciembre, 12:00

Se trata de una prueba de tiempo de la comunicación que presentará próximamente en el congreso “Artificial Intelligence and Symbolic Computation”