Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
International Conference on Automated Deduction (18th 2002 Copenhagen, Denmark) A Voronkov 1959- (Andreæi)
Berlin Springer New York c2002
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2392 ) e outros locais(Acessar)