skip to main content
Idioma:

Towards structurally-free theorem proving

Marcelo Finger

Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998

Oxford 1998

Localização: IME - Inst. Matemática e Estatística    (PROD-1032789 )(Acessar)

  • Título:
    Towards structurally-free theorem proving
  • Autor: Marcelo Finger
  • Assuntos: LÓGICA
  • É parte de: Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998
  • Notas: Disponível em: <http://dx.doi.org/10.1093/jigpal/6.3.425>. Acesso em: 11 jun. 2019
  • Editor: Oxford
  • Data de criação/publicação: 1998
  • Formato: p. 425-449.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  9 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.