Computerscience logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Workshop on ComputerScience Logic (10th 1996 Utrecht, Netherlands) D. van Dalen 1932- (Dirk); M Bezem 1956- (Marc); European Association for ComputerScience Logic Conference Utrecht, Netherlands) 1996
Berlin Springer New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1258 ) e outros locais(Acessar)
Computerscience logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Workshop on ComputerScience Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for ComputerScience Logic Conference Aarhus, Denmark) 1997
Berlin Springer New York 1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1414 ) e outros locais(Acessar)
Computerscience 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 ComputerScience 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)