Quati: An Automated Tool for Proving Permutation Lemmas Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 2 - Lemmas - Document - PDFSEARCH.IO

First Page	Meta Content
	Quati: An Automated Tool for Proving Permutation Lemmas Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 2 Add to Reading List Document Date: 2014-01-29 17:39:09 Open Document File Size: 257,14 KB Share Result on Facebook

Quati: An Automated Tool for Proving Permutation Lemmas Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 2Add to Reading List