Todas las publicaciones del investigador:
Divasón Mallagaray, José

2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 Años anteriores
TítuloAutoresFuenteAño
Formalizing an abstract algebra textbook in Isabelle/HOL

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA2012 2012