Implementation of Lambda-Free Higher-Order Superposition Petar Vukmirović Automatic theorem proving ‒ state of the art FOL - State of the art - Document - PDFSEARCH.IO

First Page	Meta Content
	Implementation of Lambda-Free Higher-Order Superposition Petar Vukmirović Automatic theorem proving ‒ state of the art FOL Add to Reading List Document Date: 2018-03-31 16:27:01 Open Document File Size: 1,59 MB Share Result on Facebook

Implementation of Lambda-Free Higher-Order Superposition Petar Vukmirović Automatic theorem proving ‒ state of the art FOLAdd to Reading List