My Account Log in

1 option

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

ACM Digital Library Available online

View online
Format:
Book
Conference/Event
Author/Creator:
Henzinger, Thomas
Symposium on Logic in Computer Science, Corporate Author.
Contributor:
Henzinger, Thomas, Contributor.
Miller, Dale, Contributor.
ACM Digital Library.
Conference Name:
Symposium on Logic in Computer Science.
Series:
ACM Conferences
Language:
English
Physical Description:
1 online resource (764 pages)
Other Title:
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), Vienna, Austria - July 14-18, 2014
CSL-LICS '14
Place of Publication:
[Place of publication not identified] ACM 2014
Language Note:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account