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 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)