Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995

Workshop on Computer Science Logic (9. 1995 Paderborn, De) H. Kleine Buning

Berlin Springer 1996

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