Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Conference publication, Internet resource |
|---|---|
| Document Type: | Internet Resource |
| All Authors / Contributors: | IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; IEEE Xplore (Online service) |
| ISBN: | 0769522661 9780769522661 |
| OCLC Number: | 61682068 |
| Description: | xiii, 477 p. : ill. ; 28 cm. |
| Other Titles: | Logic in Computer Science, 2005, LICS 2005, Proceedings, 20th Annual IEEE Symposium on., LICS 2005, Logic in computer science, 20th annual IEEE Symposium on Logic in Computer Science |
| Responsibility: | 20th annual IEEE Symposium on Logic in Computer Science, LICS 2005, 26-29 June 2005, Chicago, Illinois ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems, IBM. |
Reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Proceedings".
Be the first.
