| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings | 978-3-54O-72732-3 (3-54O-72732-9) | 2009 | Anil Nerode |
n/a · s. a. · S. Artemov · [s.n.] · S. N. Artemov · Sergei Artemov