skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Elsevier ScienceDirect Journals remover idioma: Inglês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Refinement modal logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Refinement modal logic

Bozzelli, Laura ; van Ditmarsch, Hans ; French, Tim ; Hales, James ; Pinchinat, Sophie

Information and computation, 2014-12, Vol.239, p.303-339 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

12
Natural strategic ability
Material Type:
Artigo
Adicionar ao Meu Espaço

Natural strategic ability

Jamroga, Wojciech ; Malvone, Vadim ; Murano, Aniello

Artificial intelligence, 2019-12, Vol.277, p.103170, Article 103170 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

13
Postulates for logic-based argumentation systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Postulates for logic-based argumentation systems

Amgoud, Leila

International journal of approximate reasoning, 2014-12, Vol.55 (9), p.2028-2048 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

14
Regular ${D}$-length: A tool for improved prefix-stable forward Ramsey factorisations
Material Type:
Artigo
Adicionar ao Meu Espaço

Regular ${D}$-length: A tool for improved prefix-stable forward Ramsey factorisations

Lopez, Théodore ; Monmege, Benjamin ; Talbot, Jean-Marc

Information processing letters, 2024, Vol.187 [Periódico revisado por pares]

Elsevier

Texto completo disponível

15
Interval linear systems as a necessary step in fuzzy linear systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Interval linear systems as a necessary step in fuzzy linear systems

Lodwick, Weldon A. ; Dubois, Didier

Fuzzy sets and systems, 2015-12, Vol.281, p.227-251 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

16
Formalized meta-theory of sequent calculi for linear logics
Material Type:
Artigo
Adicionar ao Meu Espaço

Formalized meta-theory of sequent calculi for linear logics

Chaudhuri, Kaustuv ; Lima, Leonardo ; Reis, Giselle

Theoretical computer science, 2019-08, Vol.781, p.24-38 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

17
Relativized depth
Material Type:
Artigo
Adicionar ao Meu Espaço

Relativized depth

Bienvenu, Laurent ; Delle Rose, Valentino ; Merkle, Wolfgang

Theoretical computer science, 2023-03, Vol.949, p.113694, Article 113694 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

18
Toward a Dempster-Shafer theory of concepts
Material Type:
Artigo
Adicionar ao Meu Espaço

Toward a Dempster-Shafer theory of concepts

Frittella, Sabine ; Manoorkar, Krishna ; Palmigiano, Alessandra ; Tzimoulis, Apostolos ; Wijnberg, Nachoem

International journal of approximate reasoning, 2020-10, Vol.125, p.14-25 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

19
A new connective in natural deduction, and its application to quantum computing
Material Type:
Artigo
Adicionar ao Meu Espaço

A new connective in natural deduction, and its application to quantum computing

Díaz-Caro, Alejandro ; Dowek, Gilles

Theoretical computer science, 2023-05, Vol.957, p.113840, Article 113840 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

20
Polynomial time in untyped elementary linear logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Polynomial time in untyped elementary linear logic

Laurent, Olivier

Theoretical computer science, 2020-04, Vol.813, p.117-142 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

previous page 1 Resultados 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 (46.386)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (50.222)
  2. magazinearticle  (269)
  3. Resenhas  (218)
  4. Anais de Congresso  (176)
  5. Book Chapters  (163)
  6. Recursos Textuais  (12)
  7. Livros  (11)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1970  (70)
  2. 1970Até1982  (694)
  3. 1983Até1995  (5.936)
  4. 1996Até2009  (18.857)
  5. Após 2009  (25.526)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (3.177)
  2. Português  (50)
  3. Espanhol  (39)
  4. Francês  (20)
  5. Chinês  (20)
  6. Alemão  (15)
  7. Norueguês  (11)
  8. Africâner  (5)
  9. Russo  (2)
  10. Persa  (2)
  11. Galês  (1)
  12. Polonês  (1)
  13. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.