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