Resultados de 11 a 20 de 51.071 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Revistas revisadas por pares (46.386)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Artigo
|
|
Refinement modal logicBozzelli, Laura ; van Ditmarsch, Hans ; French, Tim ; Hales, James ; Pinchinat, SophieInformation and computation, 2014-12, Vol.239, p.303-339 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 12 |
Material Type: Artigo
|
|
Natural strategic abilityJamroga, Wojciech ; Malvone, Vadim ; Murano, AnielloArtificial intelligence, 2019-12, Vol.277, p.103170, Article 103170 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 13 |
Material Type: Artigo
|
|
Postulates for logic-based argumentation systemsAmgoud, LeilaInternational journal of approximate reasoning, 2014-12, Vol.55 (9), p.2028-2048 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 14 |
Material Type: Artigo
|
|
Regular ${D}$-length: A tool for improved prefix-stable forward Ramsey factorisationsLopez, Théodore ; Monmege, Benjamin ; Talbot, Jean-MarcInformation processing letters, 2024, Vol.187 [Periódico revisado por pares]ElsevierTexto completo disponível |
| 15 |
Material Type: Artigo
|
|
Interval linear systems as a necessary step in fuzzy linear systemsLodwick, Weldon A. ; Dubois, DidierFuzzy sets and systems, 2015-12, Vol.281, p.227-251 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 16 |
Material Type: Artigo
|
|
Formalized meta-theory of sequent calculi for linear logicsChaudhuri, Kaustuv ; Lima, Leonardo ; Reis, GiselleTheoretical computer science, 2019-08, Vol.781, p.24-38 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 17 |
Material Type: Artigo
|
|
Relativized depthBienvenu, Laurent ; Delle Rose, Valentino ; Merkle, WolfgangTheoretical computer science, 2023-03, Vol.949, p.113694, Article 113694 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 18 |
Material Type: Artigo
|
|
Toward a Dempster-Shafer theory of conceptsFrittella, Sabine ; Manoorkar, Krishna ; Palmigiano, Alessandra ; Tzimoulis, Apostolos ; Wijnberg, NachoemInternational journal of approximate reasoning, 2020-10, Vol.125, p.14-25 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 19 |
Material Type: Artigo
|
|
A new connective in natural deduction, and its application to quantum computingDíaz-Caro, Alejandro ; Dowek, GillesTheoretical computer science, 2023-05, Vol.957, p.113840, Article 113840 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 20 |
Material Type: Artigo
|
|
Polynomial time in untyped elementary linear logicLaurent, OlivierTheoretical computer science, 2020-04, Vol.813, p.117-142 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
Resultados de 11 a 20 de 51.071 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (46.386)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (50.222)
- magazinearticle (269)
- Resenhas (218)
- Anais de Congresso (176)
- Book Chapters (163)
- Recursos Textuais (12)
- Livros (11)
-
Mais opções
Assunto
- Science & Technology (42.209)
- Technology (36.144)
- Computer Science (29.732)
- Exact Sciences And Technology (13.181)
- Computer Science, Theory & Methods (11.827)
- Engineering (11.719)
- Applied Sciences (10.693)
- Physical Sciences (9.863)
- Mathematics (9.282)
- Computer Science, Artificial Intelligence (8.220)
- Computer Science; Control Theory; Systems (8.135)
- Fuzzy Logic (7.634)
- Life Sciences & Biomedicine (6.998)
- Mathematics, Applied (6.761)
- Engineering, Electrical & Electronic (5.947)
- Computer Science, Interdisciplinary Applications (5.030)
- Artificial Intelligence (4.736)
- Humans (4.449)
- Computer Science, Information Systems (4.313)
- Algorithms (4.222)
-
Mais opções
Data de Publicação
- Antes de1970 (70)
- 1970Até1982 (694)
- 1983Até1995 (5.936)
- 1996Até2009 (18.857)
- Após 2009 (25.526)
-
Mais opções
Base de Dados/Biblioteca
- ScienceDirect (51.071)
- Science Citation Index Expanded (Web of Science) (39.057)
- EZB Electronic Journals Library (14.803)
- IngentaConnect Journals (6.120)
- ClinicalKey (3.888)
- ROAD: Directory of Open Access Scholarly Resources (2.363)
- Gale Academic OneFile (2.103)
- DOAJ Directory of Open Access Journals (1.939)
- ANTE: Abstracts in New Technology & Engineering (1.849)
- Wiley Online Library - AutoHoldings Journals (1.725)
- Journals@Ovid Complete (1.725)
- MEDLINE Complete (EBSCOhost) (1.665)
- Materials Research Database (1.602)
- Materials Business File (1.251)
- Aerospace Database (1.183)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1.180)
- Wiley Online Library (984)
- Publisher website (927)
- Wiley-Blackwell Full Collection 2013 (898)
- EBSCOhost Business Source Complete (837)
-
Mais opções
Idioma
Nome da Publicação
- Fuzzy Sets And Systems (3.230)
- Theoretical Computer Science (2.563)
- Expert Systems With Applications (1.895)
- Electronic Notes In Theoretical Computer Science (1.724)
- Information Sciences (1.439)
- Journal Of Algorithms (1.126)
- Artificial Intelligence (1.007)
- Information And Computation (969)
- International Journal Of Approximate Reasoning (926)
- Microprocessors And Microsystems (768)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 