Logical methods
in honor of Anil Nerode's sixtieth birthday
Edición de la obra Logical methods
| Autor | Anil Nerode, John N. Crossley |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1993 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 813 |
| Formato | [electronic resource] : |
| ISBN-13 | 9781461203254, 9781461267089 |
| OCLC | 847656454 |
| Serie | Progress in computer science and applied logic -- v. 12 · Progress in computer science and applied logic -- v. 12. |