skip to main content
Idioma:
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Gödel Incompleteness and Proof-Assistants Extended Abstract
Gödel Incompleteness and Proof-Assistants Extended Abstract
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Gödel Incompleteness and Proof-Assistants Extended Abstract

Calude, Cristian S.

2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2021, p.1-3

IEEE

Sem texto completo

Citações Citado por
2
The application of Godel Incomplete Theorem in architecture
The application of Godel Incomplete Theorem in architecture
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The application of Godel Incomplete Theorem in architecture

Genovese, Paolo Vincenzo ; Liang Wei-yi

2011 International Conference on Electric Technology and Civil Engineering (ICETCE), 2011, p.6274-6277

IEEE

Texto completo disponível

Citações Citado por
3
Some specially formulated axiomizations for IΣ0 manage to evade the Herbrandized version of the Second Incompleteness Theorem
Some specially formulated axiomizations for IΣ0 manage to evade the Herbrandized version of the Second Incompleteness Theorem
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Some specially formulated axiomizations for IΣ0 manage to evade the Herbrandized version of the Second Incompleteness Theorem

WILLARD, Dan E

Information and computation (Print), 2009, Vol.207 (10), p.1078-1093 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

Citações Citado por
4
An Epistemic Halpern-Shoham Logic for Gradable Justification
An Epistemic Halpern-Shoham Logic for Gradable Justification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An Epistemic Halpern-Shoham Logic for Gradable Justification

Jobczyk, Krystian Adam ; Ligeza, Antoni

2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2018, p.1-8

IEEE

Sem texto completo

Citações Citado por
5
A geometrical and logical unification of mind, light and matter
A geometrical and logical unification of mind, light and matter
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A geometrical and logical unification of mind, light and matter

Wen-Ran Zhang

2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCICC), 2016, p.188-197

IEEE

Sem texto completo

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.