Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : Proceedings (Lecture notes in computer science, 0302-9743 4514)
- Författare
- Sergei Artemov
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2007 | Utgivningsland okänt / Ej specificerat |