skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Labelled Deduction
Labelled Deduction
Labelled Deduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Labelled Deduction

Dov M. Barwise, John Spurr, Jane Gabbay John Barwise; David Basin; M D'Agostino; Dov M Gabbay; Seán Matthews; Jane Spurr; Luca Viganò

Springer Netherlands 2000

Acesso online. A biblioteca também possui exemplares impressos.

2
Logical and Computational Aspects of Model-Based Reasoning
Logical and Computational Aspects of Model-Based Reasoning
Logical and Computational Aspects of Model-Based Reasoning
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical and Computational Aspects of Model-Based Reasoning

Dov M. Barwise, Jon Magnani, Lorenzo Gabbay L Magnani; N.J Nersessian; Claudio Pizzi

Springer Netherlands 2002

Acesso online. A biblioteca também possui exemplares impressos.

3
CNMACquinho: uma experiência entre universidade, escola e comunidade
CNMACquinho: uma experiência entre universidade, escola e comunidade
Material Type:
Artigo 		Adicionar ao Meu Espaço

CNMACquinho: uma experiência entre universidade, escola e comunidade

Marcus Augusto Bronzi ; Douglas Marin ; Fabiana Fiorezi de Marco ; Érika Maria Chioca Lopes

Caminho Aberto, 2021-05 (14), p.138-143 [Periódico revisado por pares]

Instituto Federal de Santa Catarina

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Gabbay, D
  2. Matthews, S
  3. Spurr, J
  4. Pizzi, C
  5. Mathews, S

Neste Assunto:

  1. Inteligência Artificial (Congressos)
  2. Lógica Matemática Aplicada (Congressos)
  3. Science
  4. Pibid
  5. Raciocínio Lógico

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

Buscando em bases de dados remotas. Favor aguardar.