25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom /
Corporate Authors: | , , , , |
---|---|
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Los Alamitos, Calif. :
IEEE Computer Society,
[2010]
|
Subjects: |