Mariano Pérez Rodríguez

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez
Testing Provers on a Grid - Framework Description. Description Logics (2009)