On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman

First Page		Document Content
Date: 2008-10-15 05:37:21		On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman Add to Reading List Source URL: www.cs.upc.edu Download Document from Source Website File Size: 364,21 KB Share Document on Facebook