LICS 2009 proceedings : 24th annual IEEE Symposium on Logic in Computer Science : Los Angeles, California, 11-14 August 2009 / Symposium on Logic in Computer Science.

General noteTitle from content provider.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.