Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings / Sergei N. Artemov, Anil Nerode (editors)
- Författare
- N.Y.) (2007 LFCS 2007 New York
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |