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

Notes on complex combinators and structurally-free theorem proving

Marcelo Finger

São Paulo IME-USP 1996

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1996 v.9 e.1 )(Acessar)

  • Título:
    Notes on complex combinators and structurally-free theorem proving
  • Autor: Marcelo Finger
  • Assuntos: LÓGICA MATEMÁTICA
  • Notas: Disponível em: https://repositorio.usp.br/directbitstream/ddbd2b57-83b4-4926-ba15-5d10d904242c/657307.pdf. Acesso em: 21 nov. 2023
  • Notas Locais: RT-MAC-9609
  • Editor: São Paulo IME-USP
  • Data de criação/publicação: 1996
  • Formato: 22 p.
  • Idioma: Inglês
Links
Voltar para lista de resultados

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

Buscando em bases de dados remotas. Favor aguardar.