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
|