skip to main content

Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany) E Börger 1946- (Egon)

Berlin Springer-Verlag New York c1991

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

Expandir ICMC - Inst. Ciên. Mat. Computação localizações ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.533 e.1 ) Disponível na Biblioteca
Expandir IME - Inst. Matemática e Estatística localizações IME - Inst. Matemática e Estatística (S L471c v.533 ) Disponível na Biblioteca

Buscando em bases de dados remotas. Favor aguardar.