Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
A. Nerode, Yu.V. Matiyasevich (eds.)
Bok Engelsk 1994 LFCS '94
| Utgitt | Berlin : Springer-Verlag , c1994
|
|---|---|
| Omfang | IX, 392 s. : fig.
|
| Emner | |
| ISBN | 0387581405. - 3540581405
|
