Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK - University of Manchester - Document - PDFSEARCH.IO

First Page	Meta Content
	Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK Add to Reading List Document Date: 2018-07-19 05:32:19 Open Document File Size: 119,13 KB Share Result on Facebook

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UKAdd to Reading List