Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science - Ground expression - Document - PDFSEARCH.IO

First Page	Meta Content
	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Add to Reading List Document Date: 2012-07-17 05:12:14 Open Document File Size: 125,04 KB Share Result on Facebook

Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer ScienceAdd to Reading List