Computer science logic 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Workshop on Computer Science Logic (16th 2002 Edinburgh, Scotland) J. C Bradfield; European Association for Computer Science Logic Conference Edinburgh, Scotland) 2002
Berlin Springer New York c2002
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2471 )(Acessar)