First Page | Document Content | |
---|---|---|
Date: 2012-02-14 14:29:19Computer science IEEE Symposium on Logic in Computer Science Year of birth missing Logic programming Frank Pfenning Logical framework Theoretical computer science Logic in computer science Programming language theory | Add to Reading ListSource URL: www.ieee-security.orgDownload Document from Source WebsiteFile Size: 61,02 KBShare Document on Facebook |