Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
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
Được phát hành 2010
Mục lục:
“... -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic...”lấy văn bản
Điện tử
eBook
2
Bằng Schwartz, Jacob T., Schwartz, Jacob T., Cantone, Domenico., Omodeo, Eugenio G.
Được phát hành 2011
Mục lục:
“... Mechanisms -- More on the Structure of the Verifier System -- A Closer Examination of the Sequence...”Được phát hành 2011
lấy văn bản
Điện tử
eBook
3
Được phát hành 2006
Mục lục:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2008
Mục lục:
“...Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers...”lấy văn bản
Điện tử
eBook
5
6
7
Được phát hành 2008
Mục lục:
“... Prolog -- Environment Reuse in the WAM -- Logic Engines as Interactors -- Global Storing Mechanisms...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2008
Mục lục:
“... of Infinite Time Register Machines -- Many Facets of Complexity in Logic -- On the Computational Power...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2005
Mục lục:
“...A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI...”lấy văn bản
Điện tử
eBook
10
11
Mục lục:
“... -- Imperative Abstract Machines -- Real Computing Machines....”
lấy văn bản
lấy văn bản
Điện tử
eBook
12
Mục lục:
“...Introduction -- Babbage’s Engines -- Semi-automatic Computing -- Logic, Computability and Formal...”
lấy văn bản
lấy văn bản
Điện tử
eBook
13
Mục lục:
“...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
lấy văn bản
lấy văn bản
Điện tử
eBook
14
Mục lục:
“... of many-valued logics -- Fuzzy sets and many-valued logics -- Many-valued logics in quantum mechanics...”
lấy văn bản
lấy văn bản
Điện tử
eBook
15
16
Được phát hành 2013
Mục lục:
“...Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2013
Mục lục:
“... -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2011
Những chủ đề:
“...Arithmetic and logic units, Computer....”lấy văn bản
Điện tử
eBook
19
Được phát hành 2014
Mục lục:
“... -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2005
Mục lục:
“... Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic -- A Generic Network on Chip...”lấy văn bản
Điện tử
eBook