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)