Resultados de 1 a 10 de 23.307 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
Refinado por:
Nome da Publicação:
arXiv.org
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
TSO Games -- On the decidability of safety games under the total store order semanticsSpengler, Stephan ; Sil, SanchariElectronic proceedings in theoretical computer science, 2023-10, Vol.390, p.82Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Non-distributive relatives of ETL and NFLKozhemiachenko, DaniilarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Modal weak Kleene logics: axiomatizations and relational semanticsBonzio, Stefano ; Zamperlin, NicolòarXiv.org, 2024-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Leibniz's law and paraconsistent models of ZFCFigallo-Orellano, AldoarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Outline of a Self-Reflecting TheoryPatrakeev, MikhailarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
PreconditionalsHolliday, Wesley HarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
A calculus for modal compact Hausdorff spacesBezhanishvili, Nick ; Carai, Luca ; Ghilardi, Silvio ; Zhao, ZhiguangarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
LF: a Foundational Higher-Order-LogicGoodsell, Zachary ; Yli-Vakkuri, JuhaniarXiv.org, 2024-01Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Labelled calculi for the logics of rough conceptsvan der Berg, Ineke ; De Domenico, Andrea ; Greco, Giuseppe ; Manoorkar, Krishna ; Palmigiano, Alessandra ; Panettiere, MattiaarXiv.org, 2024-01Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Knowledge and ignorance in Belnap--Dunn logicKozhemiachenko, Daniil ; Vashentseva, LiubovarXiv.org, 2023-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
Resultados de 1 a 10 de 23.307 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
Refinar Meus Resultados
Assunto
- Semantics (21.849)
- Computer Science - Computer Vision And Pattern Recognition (9.491)
- Computer Science - Computation And Language (4.715)
- Computer Science - Artificial Intelligence (4.434)
- Semantic Segmentation (4.302)
- Computer Science - Learning (3.899)
- Image Segmentation (3.269)
- Algorithms (2.716)
- Computer Science - Logic In Computer Science (2.534)
- Datasets (2.374)
- Representations (2.200)
- Machine Learning (2.189)
- Training (1.741)
- Neural Networks (1.682)
- Learning (1.627)
- Artificial Neural Networks (1.621)
- Computer Science - Programming Languages (1.488)
- Object Recognition (1.352)
- Domains (1.182)
- Computer Science - Information Retrieval (1.146)
-
Mais opções
Data de Publicação
- Antes de2009 (164)
- 2009Até2011 (688)
- 2012Até2014 (1.316)
- 2015Até2018 (3.849)
- Após 2018 (17.291)
-
Mais opções
Base de Dados/Biblioteca
- ROAD (23.307)
- arXiv.org (23.307)
- Free E- Journals (23.307)
- EZB Electronic Journals Library (1)
- DOAJ Directory of Open Access Journals (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 