UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING Dale Miller Gopalan Nadathur Frank Pfenning Andre Scedrov - Dale Frank - Document - PDFSEARCH.IO

First Page	Meta Content
	UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING Dale Miller Gopalan Nadathur Frank Pfenning Andre Scedrov Add to Reading List Document Date: 2002-09-05 11:33:28 Open Document File Size: 205,05 KB Share Result on Facebook

UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING Dale Miller Gopalan Nadathur Frank Pfenning Andre ScedrovAdd to Reading List