skip to main content
Idioma:

Resultados de 1 a 10 de 12  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page
Refinado por: Nome da Publicação: Logic Journal of the Igpl remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards structurally-free theorem proving
Towards structurally-free theorem proving
Material Type:
Artigo 		Adicionar ao Meu Espaço

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)

2
Towards automated first-order abduction: the cut-based approach
Towards automated first-order abduction: the cut-based approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards automated first-order abduction: the cut-based approach

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Oxford 2012

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

3
Towards structurally-free theorem proving
Towards structurally-free theorem proving
Material Type:
Artigo 		Adicionar ao Meu Espaço

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)

4
Towards automated first-order abduction: the cut-based approach
Towards automated first-order abduction: the cut-based approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards automated first-order abduction: the cut-based approach

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Oxford 2012

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

5
The unrestricted combination of temporal logic systems
The unrestricted combination of temporal logic systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The unrestricted combination of temporal logic systems

Marcelo Finger Maria Angela Weiss

Logic Journal of the IGPL Oxford v. 10, n. 2, p. 165-189, 2002

Oxford 2002

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

6
The unrestricted combination of temporal logic systems
The unrestricted combination of temporal logic systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The unrestricted combination of temporal logic systems

Marcelo Finger Maria Angela Weiss

Logic Journal of the IGPL Oxford v. 10, n. 2, p. 165-189, 2002

Oxford 2002

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

7
Proving properties of binary classification neural networks via Łukasiewicz logic
Proving properties of binary classification neural networks via Łukasiewicz logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proving properties of binary classification neural networks via Łukasiewicz logic

Sandro Preto Marcelo Finger

Logic Journal of the IGPL Oxford v. 31, n. 5, p. 805-821, 2023

Oxford 2023

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

8
Labelled natural deduction for substructural logics
Labelled natural deduction for substructural logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Labelled natural deduction for substructural logics

Krysia Broda Marcelo Finger; Alessandra Russo

Logic Journal of the IGPL Oxford v. 7, n. 3, p. 283-318, 1999

Oxford 1999

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

9
Labelled natural deduction for substructural logics
Labelled natural deduction for substructural logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Labelled natural deduction for substructural logics

Krysia Broda Marcelo Finger; Alessandra Russo

Logic Journal of the IGPL Oxford v. 7, n. 3, p. 283-318, 1999

Oxford 1999

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

10
Parsing natural language using LDS a prototype
Parsing natural language using LDS a prototype
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parsing natural language using LDS a prototype

Marcelo Finger Rodger Kibble; Dov M Gabbay; Ruth M Kempson

Logic Journal of the IGPL Oxford v. 5, n. 5, p. 647-671, 1997

Oxford 1997

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

Resultados de 1 a 10 de 12  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de1998  (2)
  2. 1998Até1998  (2)
  3. 1999Até2001  (2)
  4. 2002Até2012  (4)
  5. Após 2012  (2)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Broda, K
  3. Kibble, R
  4. Kempson, R
  5. Gabbay, D

Neste Assunto:

  1. Lógica Matemática
  2. Lógica
  3. Lógica De Primeira Ordem
  4. Processamento De Linguagem Natural

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

Buscando em bases de dados remotas. Favor aguardar.