skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings

International Conference on Automated Deduction (8th 1986 Oxford, England) Jörg H Siekmann

Berlin Springer-Verlag New York c1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 In8d 8. ) e outros locais(Acessar)

Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  4 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.