Resultados de 1 a 10 de 20.539 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 (20.285)
Refinado por:
Base de dados/Biblioteca:
SpringerLink (Online service)
nível superior:
Recursos Online
nível superior:
Recursos Online
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
About the unification type of K + Box Box falseBalbiani, Philippe ; Gencer, Cigdem ; Rostamigiv, Maryam ; Tinchev, TinkoAnnals of mathematics and artificial intelligence, 2021-09, Vol.90 [Periódico revisado por pares]Springer VerlagTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Frama-C: A software analysis perspectiveKirchner, Florent ; Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien ; Yakobowski, BorisFormal aspects of computing, 2015-05, Vol.27 (3), p.573-609 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Logical reduction of metarulesCropper, Andrew ; Tourret, SophieMachine learning, 2020-07, Vol.109 (7), p.1323-1369 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Learning any memory-less discrete semantics for dynamical systems represented by logic programsRibeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; Inoue, KatsumiMachine learning, 2022-10, Vol.111 (10), p.3593-3670 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
A Formally Verified Compiler Back-endLeroy, XavierJournal of automated reasoning, 2009-12, Vol.43 (4), p.363-446 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Superposition with LambdasBentkamp, Alexander ; Blanchette, Jasmin ; Tourret, Sophie ; Vukmirović, Petar ; Waldmann, UweJournal of automated reasoning, 2021-10, Vol.65 (7), p.893-940 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
The Matrix Reproved: Verification PearlClochard, Martin ; Gondelman, Léon ; Pereira, MárioJournal of automated reasoning, 2018, Vol.60 (3), p.365-383 [Periódico revisado por pares]Springer VerlagTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
What’s decidable about parametric timed automata?André, ÉtienneInternational journal on software tools for technology transfer, 2019-04, Vol.21 (2), p.203-219 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
A Learning-Based Fact Selector for Isabelle/HOLBlanchette, Jasmin Christian ; Greenaway, David ; Kaliszyk, Cezary ; Kühlwein, Daniel ; Urban, JosefJournal of automated reasoning, 2016-10, Vol.57 (3), p.219-244 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Positive Announcementsvan Ditmarsch, Hans ; French, Tim ; Hales, JamesStudia logica, 2021-06, Vol.109 (3), p.639-681 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
Resultados de 1 a 10 de 20.539 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 (20.285)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (20.471)
- magazinearticle (57)
- Anais de Congresso (8)
- Resenhas (1)
- Recursos Textuais (1)
- Book Chapters (1)
-
Mais opções
Assunto
- Science & Technology (19.254)
- Technology (17.833)
- Computer Science (17.692)
- Computer Science, Artificial Intelligence (12.992)
- Artificial Intelligence (12.663)
- Engineering (12.191)
- Mathematical Logic And Foundations (9.412)
- Computational Intelligence (9.405)
- Control (9.199)
- Robotics (9.116)
- Mechatronics (8.942)
- Computer Science, Interdisciplinary Applications (8.815)
- Algorithms (5.980)
- Fuzzy Logic (5.781)
- Optimization (3.648)
- Methodologies And Application (3.059)
- Fuzzy Sets (2.661)
- Neural Networks (2.572)
- Computer Science, Information Systems (2.396)
- Logic (2.286)
-
Mais opções
Data de Publicação
- Antes de1988 (109)
- 1988Até1996 (355)
- 1997Até2005 (1.044)
- 2006Até2015 (5.502)
- Após 2015 (13.530)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Complete Springer Journals (20.539)
- Springer Nature - Springer Journals All 2022 (19.319)
- Science Citation Index Expanded (Web of Science) (15.928)
- Journals@OVID (5.836)
- EBSCOhost Computers and Applied Sciences Complete (4.368)
- Academic Search Premier (EB_SDU_P3) (2.407)
- SpringerOpen (2.339)
- EZB Electronic Journals Library (2.018)
- Academic OneFile (1.367)
- IngentaConnect Journals (911)
- DOAJ Directory of Open Access Journals (884)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (723)
- EBSCOhost Business Source Complete (685)
- JSTOR Complete Journals (613)
- Taylor & Francis (542)
- Taylor & Francis Online (517)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (440)
- ANTE: Abstracts in New Technology & Engineering (411)
- ROAD: Directory of Open Access Scholarly Resources (357)
- ACM Digital Library (Association for Computing Machinery) (357)
-
Mais opções
Idioma
Nome da Publicação
- Soft Computing (7.926)
- Journal Of Automated Reasoning (727)
- International Journal Of Fuzzy Systems (541)
- International Journal Of Computational Intelligence Systems (511)
- Acta Informatica (418)
- Fuzzy Optimization And Decision Making (401)
- Neural Computing & Applications (395)
- Logica Universalis (344)
- International Journal Of Advanced Manufacturing Technology (304)
- Multimedia Tools And Applications (263)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 