Nerode, A. Ed. Matiyasevich, Yu V. Ed.
Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994 - Berlin Springer Verlag 1994 - 392 - Lecture notes in computer science ; 00813 .
3540581405
Computer Science
681 LNCS
Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994 - Berlin Springer Verlag 1994 - 392 - Lecture notes in computer science ; 00813 .
3540581405
Computer Science
681 LNCS