Automated deduction, CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
International Conference on Automated Deduction (14th 1997 Townsville, Qld.) W McCune (William)
Berlin Springer New York c1997
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1249 ) e outros locais(Acessar)