Logical foundations of computer science
Symposium Logical Foundations of Computer Science, LFCS'97, 4 1997 Yaroslavl Sergei Adian; Anil Nerode
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1997
Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1234 )(Acessar)