Resultados de 1 a 10 de 475 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
- Recursos Online (468)
- Revistas revisadas por pares (340)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
The State-of-the-Art of Set VisualizationAlsallakh, Bilal ; Micallef, Luana ; Aigner, Wolfgang ; Hauser, Helwig ; Miksch, Silvia ; Rodgers, PeterComputer graphics forum, 2016-02, Vol.35 (1), p.234-260 [Periódico revisado por pares]Oxford: Blackwell Publishing LtdTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Modalities in homotopy type theoryEgbert Rijke ; Michael Shulman ; Bas SpittersLogical methods in computer science, 2020-01, Vol.16, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-CalculiHausmann, Daniel ; Schröder, LutzLogical methods in computer science, 2024-07, Vol.20, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax ExtensionsWild, Paul ; Schröder, LutzLogical methods in computer science, 2022-06, Vol.18, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Perfect Matching in Random Graphs is as Hard as TseitinAustrin, Per ; Risse, KilianTheoretiCS, 2022-12, Vol.1 [Periódico revisado por pares]TheoretiCS Foundation e.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Robust non-computability of dynamical systems and computability of robust dynamical systemsGraça, Daniel S. ; Zhong, NingLogical methods in computer science, 2024-06, Vol.20, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
W-types in setoidsEmmenegger, JacopoLogical methods in computer science, 2021-09, Vol.17, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
The Inductive Constraint Programming LoopBESSIERE, Christian ; de Raedt, Luc ; Guns, Tias ; Kotthoff, Lars ; Nanni, Mirco ; Nijssen, Siegfried ; O'Sullivan, Barry ; Paparrizou, Anastasia ; Pedreschi, Dino ; Simonis, HelmutIEEE intelligent systems, 2017-09, p.1-1 [Periódico revisado por pares]IEEETexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Node Replication: Theory And PracticeKesner, Delia ; Peyrot, Loïc ; Ventura, DanielLogical methods in computer science, 2024-01, Vol.20, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
A proof system for graph (non)-isomorphism verificationBanković, Milan ; Drecun, Ivan ; Marić, FilipLogical methods in computer science, 2023-02, Vol.19, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
Resultados de 1 a 10 de 475 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
- Recursos Online (468)
- Revistas revisadas por pares (340)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (462)
- Book Chapters (7)
- Anais de Congresso (6)
-
Mais opções
Assunto
- F.4.1 (282)
- Science & Technology (278)
- Computer Science - Logic In Computer Science (275)
- Computer Science (272)
- Technology (268)
- Logic (257)
- Computer Science, Theory & Methods (253)
- Science & Technology - Other Topics (248)
- F.4.1. General Fertility Control And Contraception (84)
- Mathematics - Logic (48)
- F.3.2 (42)
- F.3.1 (37)
- Logic In Computer Science (33)
- Mathematics (32)
- F.4.1 Action Programs (27)
- Computer Science - Computational Complexity (27)
- F.4.3 (25)
- Computer Science - Programming Languages (23)
- F.1.1 (21)
- Mathematics, Applied (18)
-
Mais opções
Data de Publicação
- Antes de1979 (39)
- 1979Até1989 (54)
- 1990Até2000 (58)
- 2001Até2012 (208)
- Após 2012 (116)
-
Mais opções
Base de Dados/Biblioteca
- BACON - Mir@bel - GLOBAL_LIBRESACCES (354)
- DOAJ Directory of Open Access Journals (304)
- EZB Electronic Journals Library (300)
- ROAD: Directory of Open Access Scholarly Resources (299)
- Science Citation Index Expanded (Web of Science) (265)
- JSTOR Arts and Sciences I (118)
- Jstor Complete Legacy (118)
- EBSCOhost Computers and Applied Sciences Complete (24)
- ACM Digital Library Complete (13)
- EBSCOhost Academic Search Premier (12)
- IngentaConnect Journals (10)
- Taylor & Francis:Master (3349 titles) (10)
- Gale Academic OneFile (10)
- Taylor & Francis Open access Read & Publish (10)
- Taylor & Francis (10)
- Cambridge University Library IR - DSpace@Cambridge (10)
- EBSCOhost Business Source Complete (10)
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (7)
- SpringerLink Journals - AutoHoldings (7)
- SpringerLINK Lecture Notes in Computer Science (2015) (6)
-
Mais opções
Nome da Publicação
- Logical Methods In Computer Science (298)
- Population Index (118)
- International Journal Of Computer Mathematics (10)
- Bit (5)
- Acm Transactions On Programming Languages And Systems (4)
- South African Computer Journal = Suid-Afrikaanse Rekenaartydskrif (4)
- Acm Transactions On Computational Logic (3)
- Acm Transactions On Database Systems (3)
- Applicable Algebra In Engineering, Communication And Computing (2)
- Acm Computing Surveys (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 