Testing Provers on a Grid - Framework Description - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Areces, Daniel GorÃn, Alejandra Lorenzo, Mariano PÃ©rez RodrÃguez. Testing Provers on a Grid - Framework Description. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, editors, Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]

This author has not been identified. Look up 'Carlos Areces' in GoogleThis author has not been identified. Look up 'Daniel GorÃn' in GoogleThis author has not been identified. Look up 'Alejandra Lorenzo' in GoogleThis author has not been identified. Look up 'Mariano PÃ©rez RodrÃguez' in Google

runs on WebDSL