1 Large Theory Reasoning with SUMO at CASC Adam Pease a,∗ , Geoff Sutcliffe b , Nick Siegel a , and Steven Trac b - Geoff Sutcliffe - Document - PDFSEARCH.IO

First Page	Meta Content
	1 Large Theory Reasoning with SUMO at CASC Adam Pease a,∗ , Geoff Sutcliffe b , Nick Siegel a , and Steven Trac b Add to Reading List Document Date: 2010-03-26 10:21:21 Open Document File Size: 166,88 KB Share Result on Facebook

1 Large Theory Reasoning with SUMO at CASC Adam Pease a,∗ , Geoff Sutcliffe b , Nick Siegel a , and Steven Trac bAdd to Reading List