skip to content
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

Proceedings
ClosePreview this item

Proceedings

Author: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; IEEE Xplore (Online service)
Publisher: Los Alamitos, Calif. : IEEE Computer Society, ©2005.
Edition/Format: eBook : Conference publication : English
Rating:

Retrieving ratings and reviews data...  

 

Find a copy online

Links to this item

Find a copy in the library

Retrieving... 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

Retrieving WorldCat reviews...
Retrieving EMRO reviews...
Retrieving weRead reviews...
Retrieving GoodReads reviews...
Retrieving Amazon reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.