Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Workshop on ComputerScienceLogic (14th 2000Fischbachau, Germany) Peter Clote; Helmut Schwichtenberg 1942-; EuropeanAssociationforComputerScienceLogicConferenceFischbachau, 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)