LICS : proceedings of the 2015 30th annual ACM/IEEE Symposium on Logic in Computer Science / sponsors, ACM Special Interest Group on Logic and Computation, IEEE CS

Författare
Japan) 2015 : (30th Symposium on Logic in Computer Science Kyoto
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat