Logical foundations of computer science : 4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Sergei Adian, Anil Nerode (eds.)
Bok Engelsk 1997 LFCS '97
| Utgitt | Berlin : Springer , c1997
|
|---|---|
| Omfang | IX, 429 s. : fig.
|
| Emner | |
| ISBN | 3540630457
|
