Resultados de 1 a 10 de 27 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 (20)
- Revistas revisadas por pares (24)
Refinado por:
assunto:
Technology
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Design and Construction of a Brain-Like Computer: A New Class of Frequency-Fractal Computing Using Wireless Communication in a Supramolecular Organic, Inorganic SystemGhosh, Subrata ; Aswani, Krishna ; Singh, Surabhi ; Sahu, Satyajit ; Fujita, Daisuke ; Bandyopadhyay, AnirbanInformation (Basel), 2014, Vol.5 (1), p.28-100 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Nonuniversality explainedAkl, Selim G.International journal of parallel, emergent and distributed systems, 2016-05, Vol.31 (3), p.201-219 [Periódico revisado por pares]Abingdon: Taylor & FrancisTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
The winter, the summer and the summer dream of artificial intelligence in law: Presidential address to the 18th International Conference on Artificial Intelligence and LawFrancesconi, EnricoArtificial intelligence and law, 2022, Vol.30 (2), p.147-161 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A refutation of Penrose's Gödelian case against artificial intelligenceBringsjord, Selmer ; Xiao, HongJournal of experimental & theoretical artificial intelligence, 2000-07, Vol.12 (3), p.307-329 [Periódico revisado por pares]Taylor & Francis GroupTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
YinYang bipolar logic and bipolar fuzzy logicZhang, Wen-Ran ; Zhang, LuluInformation sciences, 2004-10, Vol.165 (3), p.265-287 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Gödel–Rosser's Incompleteness Theorem, generalized and optimized for definable theoriesSalehi, Saeed ; Seraji, PayamJournal of logic and computation, 2017-07, p.exw025 [Periódico revisado por pares]Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof AssistantPopescu, Andrei ; Traytel, DmitriyJournal of automated reasoning, 2021-10, Vol.65 (7), p.1027-1070 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal IsabellePaulson, Lawrence C.Journal of automated reasoning, 2015-06, Vol.55 (1), p.1-37 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
Are Brains Computers, Emulators or Simulators?Arsiwalla, Xerxes D. ; Signorelli, Camilo M. ; Puigbo, Jordi-Ysard ; Freire, Ismael T. ; Verschure, Paul F. M. J. Verschure, Paul F. M. J ; Vouloutsi, Vasiliki ; Mangan, Michael ; Mura, Anna ; Halloy, José ; Lepora, Nathan ; Prescott, Tony J ; Mura, Anna ; Halloy, José ; Prescott, Tony J. ; Mangan, Michael ; Verschure, Paul F.M.J. ; Vouloutsi, Vasiliki ; Lepora, NathanBiomimetic and Biohybrid Systems, 2018, Vol.10928, p.11-15 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
| 10 |
Material Type: Artigo
|
|
An introduction to alysidal algebra (IV)Usó-Domenech, Jose-Luis ; Antonio Nescolarde-Selva, JosuéKybernetes, 2013-01, Vol.42 (8), p.1235-1247 [Periódico revisado por pares]London: Emerald Group Publishing LimitedTexto completo disponível |
Resultados de 1 a 10 de 27 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 (20)
- Revistas revisadas por pares (24)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (21)
- Book Chapters (3)
- Livros (2)
- Anais de Congresso (1)
-
Mais opções
Assunto
- Computer Science (26)
- Science & Technology (25)
- Computer Science, Artificial Intelligence (12)
- Computer Science, Theory & Methods (10)
- Logic (9)
- Theorems (8)
- Computation (8)
- Mathematics (5)
- Mathematical Analysis (5)
- Computer Science, Information Systems (5)
- Artificial Intelligence (5)
- Gödel's Incompleteness Theorem (5)
- Semantics (4)
- Science & Technology - Other Topics (4)
- Gödel Logic (3)
- Gödel Theorem (3)
- Algebra (3)
- Calculus (3)
- Axioms (3)
-
Mais opções
Data de Publicação
- Antes de2000 (3)
- 2000Até2010 (3)
- 2011Até2013 (4)
- 2014Até2017 (12)
- Após 2017 (7)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (17)
- Computers & Applied Sciences Complete - EBSCO (10)
- Gale Academic OneFile Select (5)
- Springer Nature - Springer Journals All 2022 (5)
- SpringerLink_现刊 (5)
- ScienceDirect (5)
- Business Source Complete - EBSCO (5)
- IngentaConnect Journals (4)
- Academic Search Premier (4)
- Oxford Journals (3)
- Journals@Ovid Ovid Full Text (3)
- EZB-FREE-00999 freely available EZB journals (3)
- Springer Books (3)
- Lecture Notes in Computer Science Archive (through to 1996) (2)
- Taylor & Francis Open access Read & Publish (2)
- Springer_OA刊 (2)
- Taylor & Francis Online (2)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (2)
- De Gruyter eBooks (2)
-
Mais opções
Nome da Publicação
- Journal Of Logic And Computation (3)
- Journal Of Automated Reasoning (2)
- Information Sciences (2)
- Journal Of Intelligent & Fuzzy Systems (2)
- International Journal Of Parallel, Emergent And Distributed Systems (1)
- Artificial Intelligence And Law (1)
- Engineering Applications Of Artificial Intelligence (1)
- Information (1)
- Ai & Society (1)
- Fuzzy Sets And Systems (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 