Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Workshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)
Berlin New York Springer-Verlag c1992
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.626 e.1 ) e outros locais(Acessar)