Testing Provers on a Grid - Framework Description

Areces, C., Gorín, D., Lorenzo, A., and Pérez Rodríguez, M.. Testing Provers on a Grid - Framework Description. In Proceedings of the 22nd International Workshop on Description Logics (DL 2009), CEUR-WS.org, 2009.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:test09,
  author = {Areces, C. and Gor\'{\i}n, D. and Lorenzo, A. and P{\'e}rez Rodr\'{\i}guez,
	M.},
  title = {Testing Provers on a Grid - Framework Description},
  booktitle = {Proceedings of the 22nd International Workshop on Description Logics
	(DL 2009)},
  year = {2009},
  editor = {Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U.},
  volume = {477},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49