9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings
International Conference on Automated Deduction (9th 1988 Argonne, Ill.) Ewing Lusk; Ross A Overbeek
Berlin Springer-Verlag New York c1988
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.310 ex.1 ) e outros locais(Acessar)