skip to main content
Primo Search
Search in: Busca Geral

Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

International Conference on Automated Deduction (18th 2002 Copenhagen, Denmark) A Voronkov 1959- (Andreæi)

Berlin Springer New York c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2392 ) e outros locais(Acessar)

Buscando em bases de dados remotas. Favor aguardar.