C OLLABORATIVE L OGIC P ROGRAMMING VIA D EDUCTIVE -I NDUCTIVE R ESOLUTION Jian Huang - Jian - Document - PDFSEARCH.IO

First Page	Meta Content
	C OLLABORATIVE L OGIC P ROGRAMMING VIA D EDUCTIVE -I NDUCTIVE R ESOLUTION Jian Huang Add to Reading List Document Date: 2009-04-21 23:37:26 Open Document File Size: 1,49 MB Share Result on Facebook

C OLLABORATIVE L OGIC P ROGRAMMING VIA D EDUCTIVE -I NDUCTIVE R ESOLUTION Jian HuangAdd to Reading List