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 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
Matthias Baaz; Johann A Makowsky 1948-; European Association for ComputerScience Logic Conference Vienna University of Technology) 2003; Workshop on ComputerScience Logic (17th 2003 Vienna University of Technology); Kurt Gödel Colloquium (8th 2003 Vienna University of Technology)
Relational methods in computerscience 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers
RelMiCS 2001 (2001 Oisterwijk, Netherlands) H. C. M. de Swart; European Cooperation in the Field of Scientific and Technical Research (Organization) COST Action 274 TARSKI (Project) Oisterwijk, Netherlands) 2001