Resultados de 11 a 20 de 134.791 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 (100.893)
Refinado por:
Base de dados/Biblioteca:
ROAD: Directory of Open Access Scholarly Resources
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Artigo
|
|
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic PropertiesKapur, DeepakLogical methods in computer science, 2023-03, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 12 |
Material Type: Artigo
|
|
Enumerating Independent Linear InferencesDas, Anupam ; Rice, AlexLogical methods in computer science, 2023-01, Vol.19, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 13 |
Material Type: Artigo
|
|
Completeness of Nominal PROPsBalco, Samuel ; Kurz, AlexanderLogical methods in computer science, 2023, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 14 |
Material Type: Artigo
|
|
PROBABILISTIC LOGICS BASED ON RIESZ SPACESFurber, Robert ; Mardare, Radu ; Mio, MatteoLogical methods in computer science, 2020, Vol.16 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 15 |
Material Type: Artigo
|
|
Positive First-Order Logic on Words and GraphsKuperberg, DenisLogical methods in computer science, 2023-01, Vol.19 (3), p.7:1-7:35 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 16 |
Material Type: Artigo
|
|
An Analytic Propositional Proof System on GraphsAcclavio, Matteo ; Horne, Ross ; Straßburger, LutzLogical methods in computer science, 2022-10, Vol.18, Issue 4 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 17 |
Material Type: Artigo
|
|
Superposition for Lambda-Free Higher-Order LogicBentkamp, Alexander ; Blanchette, Jasmin ; Cruanes, Simon ; Waldmann, UweLogical methods in computer science, 2021-01, Vol.17 (2) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 18 |
Material Type: Artigo
|
|
Proof Theory of Riesz Spaces and Modal Riesz SpacesLucas, Christophe ; Mio, MatteoLogical methods in computer science, 2022-02, Vol.18, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 19 |
Material Type: Artigo
|
|
Computable analysis and notions of continuity in CoqSteinberg, Florian ; Théry, Laurent ; Thies, HolgerLogical methods in computer science, 2021-05, Vol.17 (2) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 20 |
Material Type: Artigo
|
|
A strong call-by-need calculusBalabonski, Thibaut ; Lanco, Antoine ; Melquiond, GuillaumeLogical methods in computer science, 2023-03, Vol.19, Issue 1 (1) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
Resultados de 11 a 20 de 134.791 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 (100.893)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (133.438)
- Anais de Congresso (1.104)
- Resenhas (208)
- Book Chapters (13)
- magazinearticle (11)
- Recursos Textuais (8)
- Outros (3)
- Web Resources (3)
- Reports (2)
- Livros (1)
-
Mais opções
Assunto
- Science & Technology (76.773)
- Technology (48.105)
- Physical Sciences (29.662)
- Engineering (27.410)
- Algorithms (26.855)
- Computer Science (22.658)
- Life Sciences & Biomedicine (15.948)
- Computer Science - Logic In Computer Science (15.399)
- Engineering, Electrical & Electronic (15.214)
- Science & Technology - Other Topics (15.137)
- Physics (12.379)
- Neural Networks (12.147)
- Computer Science, Information Systems (11.745)
- Methods (11.666)
- Chemistry (11.205)
- Machine Learning (10.808)
- Social Sciences (10.290)
- Fuzzy Logic (9.965)
- Physics, Applied (9.965)
- Multidisciplinary Sciences (9.375)
-
Mais opções
Data de Publicação
- Antes de1985 (15)
- 1985Até1994 (86)
- 1995Até2004 (1.896)
- 2005Até2015 (31.421)
- Após 2015 (101.377)
-
Mais opções
Base de Dados/Biblioteca
- EZB Electronic Journals Library (106.010)
- DOAJ Directory of Open Access Journals (101.515)
- Gale Academic OneFile (67.145)
- Science Citation Index Expanded (Web of Science) (53.890)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (53.676)
- IngentaConnect Journals (48.716)
- PubMed Central (27.734)
- Free E- Journals (24.801)
- arXiv.org (22.756)
- EBSCOhost Academic Search Premier (10.719)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (10.516)
- SpringerOpen website (10.237)
- Materials Research Database (9.437)
- Engineered Materials Abstracts (9.191)
- METADEX (8.559)
- Aerospace Database (8.189)
- SpringerLink Journals - AutoHoldings (7.905)
- Open Access Journals (Hindawi Publishing) (7.262)
- EBSCOhost Computers and Applied Sciences Complete (6.516)
-
Mais opções
Idioma
Nome da Publicação
- arXiv.org (22.724)
- Arxiv (8.964)
- Sensors (4.624)
- Applied Sciences (4.511)
- Plos One (3.900)
- Electronics (3.777)
- Ieee Access (3.578)
- Sustainability (3.016)
- Energies (2.838)
- Mathematical Problems In Engineering (2.381)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 