Resultados de 1 a 10 de 44.212 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 (36.845)
- Revistas revisadas por pares (31.126)
Refinado por:
assunto:
Computer Science, Artificial Intelligence
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Mathematics of Fuzzy Sets and Fuzzy LogicBede, BarnabasBerlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
| 2 |
Material Type: Livro
|
|
On Intuitionistic Fuzzy Sets TheoryAtanassov, Krassimir T.Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
| 3 |
Material Type: Livro
|
|
Subjective Logic: A Formalism for Reasoning under UncertaintyJøsang, AudunCham: Springer International Publishing AG 2016Texto completo disponível |
| 4 |
Material Type: Livro
|
|
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy LogicTrillas, EnricCham: Springer International PublishingSem texto completo |
| 5 |
Material Type: Artigo
|
|
On the succinctness of some modal logicsFrench, Tim ; van der Hoek, Wiebe ; Iliev, Petar ; Kooi, BarteldArtif. Intell, 2013-04, Vol.197, p.56-85 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
A comprehensive review on type 2 fuzzy logic applications: Past, present and futureMittal, Kanika ; Jain, Amita ; Vaisla, Kunwar Singh ; Castillo, Oscar ; Kacprzyk, JanuszEngineering applications of artificial intelligence, 2020-10, Vol.95, p.103916, Article 103916 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
| 7 |
Material Type: Livro
|
|
Deductive Software Verification - The KeY Book: From Theory to PracticeAhrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H ; Ulbrich, Mattias H'hnle, Reiner ; Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Ulbrich, Mattias ; Beckert, Bernhard ; Schmitt, Peter H. ; Bubel, Richard ; Ahrendt, WolfgangCham: Springer Nature 2016Texto completo disponível |
| 8 |
Material Type: Artigo
|
|
Arbitrary arrow update logicvan Ditmarsch, Hans ; van der Hoek, Wiebe ; Kooi, Barteld ; Kuijer, Louwe B.Artificial intelligence, 2017-01, Vol.242, p.80-106 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Extensional Higher-Order Paramodulation in Leo-IIISteen, Alexander ; Benzmüller, ChristophJournal of automated reasoning, 2021-08, Vol.65 (6), p.775-807 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Similarity triangle logicZahiri, Saeide ; Saeid, Arsham BorumandSoft computing (Berlin, Germany), 2021-05, Vol.25 (10), p.6841-6849 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 44.212 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 (36.845)
- Revistas revisadas por pares (31.126)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (25.677)
- Anais de Congresso (15.071)
- Book Chapters (2.981)
- Livros (387)
- magazinearticle (94)
- Resenhas (1)
- Conjunto de Dados (1)
-
Mais opções
Assunto
- Technology (44.206)
- Computer Science (44.204)
- Science & Technology (44.204)
- Engineering (20.277)
- Artificial Intelligence (17.103)
- Fuzzy Logic (16.090)
- Robotics (10.914)
- Computer Science, Interdisciplinary Applications (10.652)
- Engineering, Electrical & Electronic (9.781)
- Computational Intelligence (9.746)
- Mathematical Logic And Foundations (9.238)
- Control (8.930)
- Mechatronics (8.885)
- Computer Science, Theory & Methods (7.718)
- Algorithms (6.765)
- Logic (5.381)
- Fuzzy Sets (5.134)
- Computer Science, Information Systems (5.010)
- Neural Networks (4.310)
-
Mais opções
Data de Publicação
- Antes de1985 (28)
- 1985Até1993 (230)
- 1994Até2002 (5.164)
- 2003Até2012 (13.812)
- Após 2012 (25.549)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (23.695)
- SpringerLink (13.074)
- Springer Nature - Springer Journals All 2022 (12.474)
- IEEE Electronic Library (IEL) Conference Proceedings (8.410)
- SpringerLINK Lecture Notes in Computer Science (2015) (5.958)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (5.958)
- IEEE Electronic Library (IEL) Journals (4.489)
- EBSCOhost Computers and Applied Sciences Complete (4.298)
- ScienceDirect (4.275)
- EZB Free E-Journals (3.371)
- ANTE: Abstracts in New Technology & Engineering (2.911)
- Journals@Ovid (2.868)
- Academic Search Premier (2.293)
- EBSCOhost Business Source Complete (2.185)
- Springer Books (2.150)
- SpringerOpen website (1.677)
- DOAJ Directory of Open Access Journals (1.582)
- IngentaConnect Journals (1.547)
- IOS Press Publications (1.472)
- Gale Academic OneFile Select (1.386)
-
Mais opções
Idioma
Nome da Publicação
- Soft Computing (7.953)
- Ieee Transactions On Fuzzy Systems (1.664)
- Journal Of Intelligent & Fuzzy Systems (1.244)
- Expert Systems With Applications (1.128)
- Journal Of Automated Reasoning (667)
- International Journal Of Fuzzy Systems (560)
- International Journal Of Computational Intelligence Systems (529)
- Ieee Transactions On Knowledge And Data Engineering (453)
- Ieee Transactions On Systems, Man And Cybernetics. Part B, Cybernetics (420)
- Fuzzy Optimization And Decision Making (403)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 