skip to main content
Primo Search
Search in: Busca Geral

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)

Buscando em bases de dados remotas. Favor aguardar.