skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: IngentaConnect Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Linear logic in computer science
Linear logic in computer science
Material Type:
Artigo 		Adicionar ao Meu Espaço

Linear logic in computer science

Steingartner, William ; Poláková, Andrea ; Prazňák, Peter ; Novitzká, Valerie

Journal of Applied Mathematics and Computational Mechanics, 2015-03, Vol.14 (1), p.91-100 [Periódico revisado por pares]

The Publishing Office of Czestochowa University of Technology

Texto completo disponível

Citações Citado por
2
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Meta-analysis of the functional neuroimaging literature with probabilistic logic programming

Abdallah, Majd ; Iovene, Valentin ; Zanitti, Gaston ; Wassermann, Demian

Scientific reports, 2022-11, Vol.12 (1), p.19431-19431, Article 19431 [Periódico revisado por pares]

England: Nature Publishing Group

Texto completo disponível

Citações Citado por
3
Meta-heuristics for sustainable supply chain management: a review
Meta-heuristics for sustainable supply chain management: a review
Material Type:
Artigo 		Adicionar ao Meu Espaço

Meta-heuristics for sustainable supply chain management: a review

Faramarzi-Oghani, Sohrab ; Dolati Neghabadi, Parisa ; Talbi, El-Ghazali ; Tavakkoli-Moghaddam, Reza

International journal of production research, 2023-03, Vol.61 (6), p.1979-2009 [Periódico revisado por pares]

London: Taylor & Francis

Texto completo disponível

Citações Citado por
4
A fully labelled proof system for intuitionistic modal logics
A fully labelled proof system for intuitionistic modal logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

A fully labelled proof system for intuitionistic modal logics

Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz

Journal of logic and computation, 2021-04, Vol.31 (3), p.998-1022 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
5
Adapting Logic to Physics: The Quantum-Like Eigenlogic Program
Adapting Logic to Physics: The Quantum-Like Eigenlogic Program
Material Type:
Artigo 		Adicionar ao Meu Espaço

Adapting Logic to Physics: The Quantum-Like Eigenlogic Program

Toffano, Zeno ; Dubois, François

Entropy (Basel, Switzerland), 2020-01, Vol.22 (2), p.139 [Periódico revisado por pares]

Switzerland: MDPI

Texto completo disponível

Citações Citado por
6
Model-checking ecological state-transition graphs
Model-checking ecological state-transition graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model-checking ecological state-transition graphs

Thomas, Colin ; Cosme, Maximilien ; Gaucherel, Cédric ; Pommereau, Franck Scarpino, Samuel V.

PLoS computational biology, 2022-06, Vol.18 (6), p.e1009657-e1009657 [Periódico revisado por pares]

United States: Public Library of Science

Texto completo disponível

Citações Citado por
7
Rich preference-based argumentation frameworks
Rich preference-based argumentation frameworks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rich preference-based argumentation frameworks

Amgoud, Leila ; Vesic, Srdjan

International journal of approximate reasoning, 2014-01, Vol.55 (2), p.585-606 [Periódico revisado por pares]

Amsterdam: Elsevier Inc

Texto completo disponível

Citações Citado por
8
Hammering towards QED
Hammering towards QED
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hammering towards QED

Blanchette, Jasmin C ; Kaliszyk, Cezary ; Paulson, Lawrence C ; Urban, Josef

Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.101-148 [Periódico revisado por pares]

Bologna: Universita degli Studi di Bologna

Texto completo disponível

Citações Citado por
9
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

Girlando, Marianna ; Negri, Sara ; Olivetti, Nicola

Journal of logic and computation, 2021-04, Vol.31 (3), p.947-997 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
10
On the succinctness of some modal logics
On the succinctness of some modal logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the succinctness of some modal logics

French, Tim ; van der Hoek, Wiebe ; Iliev, Petar ; Kooi, Barteld

Artificial intelligence, 2013-04, Vol.197, p.56-85 [Periódico revisado por pares]

Oxford: Elsevier B.V

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.   

Mostrar Somente

  1. Revistas revisadas por pares (118.157)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (119.563)
  2. Anais de Congresso  (1.940)
  3. Resenhas  (923)
  4. Book Chapters  (230)
  5. magazinearticle  (121)
  6. Livros  (86)
  7. Reports  (18)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (48)
  2. 1964Até1978  (382)
  3. 1979Até1993  (2.285)
  4. 1994Até2009  (27.307)
  5. Após 2009  (92.922)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (121.314)
  2. Japonês  (5.179)
  3. Português  (2.042)
  4. Espanhol  (1.978)
  5. Alemão  (551)
  6. Italiano  (197)
  7. Francês  (131)
  8. Russo  (112)
  9. Norueguês  (111)
  10. Chinês  (78)
  11. Africâner  (74)
  12. Lituano  (71)
  13. Tcheco  (56)
  14. Ucraniano  (42)
  15. Esloveno  (42)
  16. Polonês  (30)
  17. Eslovaco  (29)
  18. Indonésio  (12)
  19. Árabe  (12)
  20. Sueco  (12)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.