Computer science logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
WorkshoponComputerScienceLogic (18th 2004 Karpacz, Poland) Jerzy Marcinkowski 1965; Andrzej Tarlecki; European Association for ComputerScienceLogic Conference Karpacz, Poland) 2004
Berlin Springer New York c2004
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.3210 ) e outros locais(Acessar)