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

First Page	Meta Content
	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 Document Date: 2009-07-07 04:46:34 Open Document File Size: 149,69 KB Share Result on Facebook

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