Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
electronics logic » electronic logic, electronics topics, electronics basic
logic computing » nordic computing, basic computing, logic computer
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
electronics logic » electronic logic, electronics topics, electronics basic
logic computing » nordic computing, basic computing, logic computer
1
Publicado em 2010
Sumário:
“... -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
por Schwartz, Jacob T., Schwartz, Jacob T., Cantone, Domenico., Omodeo, Eugenio G.
Publicado em 2011
Sumário:
“... Mechanisms -- More on the Structure of the Verifier System -- A Closer Examination of the Sequence...”Publicado em 2011
Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2006
Sumário:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2008
Sumário:
“...Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
6
Assuntos:
“...Computational intelligence....”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2008
Sumário:
“... Prolog -- Environment Reuse in the WAM -- Logic Engines as Interactors -- Global Storing Mechanisms...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2008
Sumário:
“... of Infinite Time Register Machines -- Many Facets of Complexity in Logic -- On the Computational Power...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2005
Sumário:
“...A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2012
Assuntos:
“...Computer logic....”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Sumário:
“... -- Imperative Abstract Machines -- Real Computing Machines....”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Sumário:
“...Introduction -- Babbage’s Engines -- Semi-automatic Computing -- Logic, Computability and Formal...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Sumário:
“...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Sumário:
“... of many-valued logics -- Fuzzy sets and many-valued logics -- Many-valued logics in quantum mechanics...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2011
Assuntos:
“...Computer logic....”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2013
Sumário:
“...Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2013
Sumário:
“... -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2011
Assuntos:
“...Arithmetic and logic units, Computer....”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2014
Sumário:
“... -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2005
Sumário:
“... Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic -- A Generic Network on Chip...”Obter o texto integral
Recurso Eletrônico
livro eletrônico