Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan
Author(s)
Bibliographic Information
Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan
IEEE Computer Society, c2015
- Other Title
-
2015 30th annual ACM/IEEE symposium on Logic in Computer Science (LICS 2015), Kyoto, Japan, 6-10 July 2015
Available at / 1 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Kyoto||2015.7200033857737
-
No Libraries matched.
- Remove all filters.
Note
IEEE catalog number: CFP15039-POD
Includes bibliographical references and index