Computerscience logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Workshop on ComputerScience Logic (16th 2002 Edinburgh, Scotland) J. C Bradfield; European Association for ComputerScience Logic Conference Edinburgh, Scotland) 2002
Computerscience logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Workshop on ComputerScience Logic (14th 2000 Fischbachau, Germany) Peter Clote; Helmut Schwichtenberg 1942-; European Association for ComputerScience Logic Conference Fischbachau, Germany) 2000
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1862 ) e outros locais(Acessar)
Computerscience logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Workshop on ComputerScience Logic (13th 1999 Madrid, Spain) Jörg Flum; M Rodríguez Artalejo (Mario); European Association for ComputerScience Logic Conference Madrid, Spain) 1999
Berlin New York Springer c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1683 e.1 ) 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)