skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

International Conference on Automated Deduction (16th 1999 Trento, Italy) H Ganzinger 1950- (Harald)

Berlin Springer-Verlag New York 1999

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

Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  6 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.