Symbolic and quantitative approaches to reasoning and uncertainty proceedings
European Conference on Symbolic and Quantitative Approaches To Reasoning and Uncertainty (1993 : Granada) Michael Clarke; Rudolf Kruse
Berlin Springer 1993
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.747 e.1 ) e outros locais(Acessar)