skip to main content
Idioma:
Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Teoria de Categorias: uma semântica categorial para linguagens proposicionais
Teoria de Categorias: uma semântica categorial para linguagens proposicionais
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Teoria de Categorias: uma semântica categorial para linguagens proposicionais

Maillard, Christian Marcel De Amorim Perret Gentil Dit

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas 2018-05-24

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

2
The rules of logic composition for the Bayesian epistemic e-values
The rules of logic composition for the Bayesian epistemic e-values
Material Type:
Artigo 		Adicionar ao Meu Espaço

The rules of logic composition for the Bayesian epistemic e-values

Wagner de Souza Borges Julio Michael Stern 1958-

Logic Journal of IGPL Oxford v. 15, n. 5-6, p. 401-420, 2007

Oxford 2007

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

3
Logical activation functions for training arbitrary probabilistic Boolean operations
Logical activation functions for training arbitrary probabilistic Boolean operations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logical activation functions for training arbitrary probabilistic Boolean operations

Duersch, Jed A. ; Catanach, Tommie A. ; Das, Niladri

Information sciences, 2024-04, Vol.664 (C), p.120304, Article 120304 [Periódico revisado por pares]

United States: Elsevier Inc

Texto completo disponível

Citações Citado por
4
How ambiguity codes specify molecular descriptors and information flow in Code Biology
How ambiguity codes specify molecular descriptors and information flow in Code Biology
Material Type:
Artigo 		Adicionar ao Meu Espaço

How ambiguity codes specify molecular descriptors and information flow in Code Biology

Štambuk, Nikola ; Konjevoda, Paško ; Štambuk, Albert

BioSystems, 2023-11, Vol.233, p.105034-105034, Article 105034 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Truth‐value relations and logical relations
Truth‐value relations and logical relations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Truth‐value relations and logical relations

Humberstone, Lloyd

Theoria (Lund, Sweden), 2023-02, Vol.89 (1), p.124-147 [Periódico revisado por pares]

Chichester, UK: John Wiley & Sons Ltd

Texto completo disponível

Citações Citado por
6
An Application for Solving Truth Functions
An Application for Solving Truth Functions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Application for Solving Truth Functions

Pokorný, Pavel ; Ševčík, Daniel Silhavy, Radek

Intelligent Algorithms in Software Engineering, 2020, Vol.1224, p.341-351

Switzerland: Springer International Publishing AG

Sem texto completo

Citações Citado por
7
Combining uncertainty and imprecision in models of medical diagnosis
Combining uncertainty and imprecision in models of medical diagnosis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combining uncertainty and imprecision in models of medical diagnosis

Straszecka, Ewa

Information sciences, 2006-10, Vol.176 (20), p.3026-3059 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
8
An Impure Logic of Representational Grounding
An Impure Logic of Representational Grounding
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Impure Logic of Representational Grounding

Correia, Fabrice

Journal of philosophical logic, 2017-10, Vol.46 (5), p.507-539 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

Citações Citado por
9
Semantic Information G Theory and Logical Bayesian Inference for Machine Learning
Semantic Information G Theory and Logical Bayesian Inference for Machine Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Semantic Information G Theory and Logical Bayesian Inference for Machine Learning

Lu, Chenguang

Information (Basel), 2019-08, Vol.10 (8), p.261 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
10
Tractatus 6 Reconsidered: An Algorithmic Alternative to Wittgenstein's Trade-Off
Tractatus 6 Reconsidered: An Algorithmic Alternative to Wittgenstein's Trade-Off
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tractatus 6 Reconsidered: An Algorithmic Alternative to Wittgenstein's Trade-Off

Roman, A. ; Gomułka, J.

History and philosophy of logic, 2023-03, Vol.ahead-of-print (ahead-of-print), p.1-18 [Periódico revisado por pares]

Taylor & Francis

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (935)
  2. Book Chapters  (349)
  3. Anais de Congresso  (127)
  4. Livros  (36)
  5. Reports  (29)
  6. Verbetes  (29)
  7. Resenhas  (7)
  8. Dissertações  (5)
  9. magazinearticle  (4)
  10. Conjunto de Dados  (3)
  11. Produções Acadêmicas  (1)
  12. Web Resources  (1)
  13. Mais opções open sub menu

Autor/Criador 

  1. Stern, J  (1)
  2. Maillard, C  (1)
  3. Souza, E  (1)
  4. Borges, W  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (80)
  2. 1961Até1976  (110)
  3. 1977Até1992  (157)
  4. 1993Até2009  (458)
  5. Após 2009  (686)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.500)
  2. Japonês  (50)
  3. Português  (6)
  4. Espanhol  (6)
  5. Francês  (5)
  6. Alemão  (5)
  7. Italiano  (4)
  8. Coreano  (3)
  9. Chinês  (3)
  10. Russo  (1)
  11. Norueguês  (1)
  12. Croatian  (1)
  13. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Stern, J
  2. Maillard, C
  3. Souza, E
  4. Borges, W

Neste Assunto:

  1. Truth
  2. Science & Technology
  3. Mathematical Functions
  4. Philosophy
  5. Logic

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

Buscando em bases de dados remotas. Favor aguardar.