skip to main content
Idioma:
Refinado por: assunto: Inteligência Artificial remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Higher order logic theorem proving and its applications 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
Higher order logic theorem proving and its applications 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher order logic theorem proving and its applications 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Jeffrey J Joyce 1960-; Carl-Johan H Seger; HOL User's Group Workshop (6th 1993 Vancouver, B.C.)

Berlin Springer-Verlag New York c1994

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Assunto 

  1. Inteligência Artificial  (0)
  2. Inteligência Artificial  (0)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Seger, C
  2. Joyce, J
  3. HOL User's Group Workshop

Neste Assunto:

  1. Automatic Theorem Proving
  2. Inteligência Artificial
  3. Inteligência Artificial

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

Buscando em bases de dados remotas. Favor aguardar.