Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Los Alamitos, Calif. ; Tokyo
IEEE Computer Society
2015
|
| ISBN: | 9781479988471, 1479988472 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Bibliography: | IEEE catalog number: CFP15039-POD Includes bibliographical references and index |
|---|---|
| ISBN: | 9781479988471 1479988472 |