Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.) Deepak Kapur
Berlin Springer-Verlag New York c1992
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.607 ) e outros locais(Acessar)