Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
International Conference on Automated Deduction (16th 1999 Trento, Italy) H Ganzinger 1950- (Harald)
Berlin Springer-Verlag New York 1999
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1632 ) e outros locais(Acessar)