Logical foundations of computer science [electronic resource] : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings / Sergei N. Artemov, Anil Nerode (eds.).
Saved in:
Published: |
Berlin :
Springer,
c2007.
|
---|---|
Online Access: | |
Corporate Authors: | |
Other Authors: | |
Series: | Lecture notes in computer science ;
4514 |
Subjects: | |
Format: | Electronic Conference Proceeding eBook |