Logical foundations of computer science
third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
Edición de la obra Logical foundations of computer science
| Autor | Anil Nerode |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1994 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 392 |
| ISBN-10 | 3540581405, 0387581405 |
| OCLC | 30546234 |
| LCCN | 94019257 |
| Serie | Lecture notes in computer science ; · 813 |
| Número de Cutter |