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
|