Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /
A. Nerode, M. Taitslin (eds.).
Bok Engelsk
| Utgitt | Springer Berlin Heidelberg
|
|---|---|
| Emner | |
| Dewey |
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
A. Nerode, M. Taitslin (eds.)
Bok · Engelsk · 1992
