在您的搜寻 主题建议
在您的搜寻 主题建议
1
出版 2010
书本目录:
“... -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic...”获取全文
电子
电子书
2
书本目录:
“... Mechanisms -- More on the Structure of the Verifier System -- A Closer Examination of the Sequence...”
获取全文
获取全文
电子
电子书
3
出版 2006
书本目录:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”获取全文
电子
电子书
4
出版 2008
书本目录:
“...Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers...”获取全文
电子
电子书
5
6
7
出版 2008
书本目录:
“... Prolog -- Environment Reuse in the WAM -- Logic Engines as Interactors -- Global Storing Mechanisms...”获取全文
电子
电子书
8
出版 2008
书本目录:
“... of Infinite Time Register Machines -- Many Facets of Complexity in Logic -- On the Computational Power...”获取全文
电子
电子书
9
出版 2005
书本目录:
“...A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI...”获取全文
电子
电子书
10
11
12
书本目录:
“...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
获取全文
获取全文
电子
电子书
13
书本目录:
“... of many-valued logics -- Fuzzy sets and many-valued logics -- Many-valued logics in quantum mechanics...”
获取全文
获取全文
电子
电子书
14
15
出版 2013
书本目录:
“...Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic...”获取全文
电子
电子书
16
出版 2013
书本目录:
“... -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical...”获取全文
电子
电子书
17
18
出版 2014
书本目录:
“... -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology...”获取全文
电子
电子书
19
出版 2005
书本目录:
“... Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic -- A Generic Network on Chip...”获取全文
电子
电子书
20
出版 2008
书本目录:
“... Tutorial) -- Theorem Proving for Verification (Invited Tutorial) -- Tutorial on Separation Logic (Invited...”获取全文
电子
电子书