Computer science logic

Workshop CSL'94, 8 1994 Kazimierz Leszek Pacholski; Jerzy Tiuryn

Goos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.933 e.1 ) e outros locais(Acessar)