Proceedings of the 2012 27th Annual IEEEACM Symposium on Logic in Computer Science
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: ACM Digital Library | ACM ConferencesPublisher: Washington, DC : IEEE Computer Society, 2012Description: Online-Ressource (1 online resource.)ISBN:- 9780769547695
- LICS '12
No physical items for this record
Reproduktion. (Association for Computing Machinery-Digital Library)