Testing Provers on a Grid Framework Description Carlos Areces1 , Daniel Gor´ın2,4, Alejandra Lorenzo3, and Mariano P´erez Rodr´ıguez4 1

First Page		Document Content
Date: 2009-07-07 04:46:34		Testing Provers on a Grid Framework Description Carlos Areces1 , Daniel Gor´ın2,4, Alejandra Lorenzo3, and Mariano P´erez Rodr´ıguez4 1 Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 149,69 KB Share Document on Facebook