Siddhivinayak Mahaganapati Temple - Document - PDFSEARCH.IO

First Page	Meta Content
	Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Boris Motik, Rob Shearer, and Ian Horrocks Oxford University Computing Laboratory 1 Add to Reading List Document Date: 2012-02-03 12:06:02 Open Document File Size: 169,91 KB Share Result on Facebook

UPDATE

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Boris Motik, Rob Shearer, and Ian Horrocks Oxford University Computing Laboratory 1Add to Reading List