Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings
A. Nerode, M. Taitslin (eds.)
Bok Engelsk 1992
| Utgitt | Berlin : Springer-Verlag , c1992
|
|---|---|
| Omfang | IX, 514 s.
|
| Emner | |
| ISBN | 0387557075. - 3540557075
|
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /
A. Nerode, M. Taitslin (eds.).
Bok · Engelsk · 0
A. Nerode, M. Taitslin (eds.).
Bok · Engelsk · 0
