Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) E Börger 1946- (Egon)
Berlin New York Springer-Verlag c1993
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.702 e.1 ) e outros locais(Acessar)