Location & Availability for: Proceedings of the joint meeting of the

 Staff view

You must be logged in to Tag Records

Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS) [electronic resource] /

program chairs, Thomas Henzinger, Dale Miller.

Book Cover
Names: Henzinger, Thomas. | Miller, Dale,
Published: New York : ACM, 2014.
Topics: Computer logic - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Proceedings of the joint meeting of the