Suggested Topics within your search.
Suggested Topics within your search.
1
by Dalen, Dirk.
Published 2013
Table of Contents: ';
“...Introduction -- Propositional Logic -- Predicate Logic -- Completeness and Applications -- Second...”Published 2013
Get full text
Electronic
2
Published 2013
Table of Contents: ';
“... Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic...”Get full text
Electronic
3
by Li, Wei.
Published 2010
Subjects: ';
“...Logic, Symbolic and mathematical....”Published 2010
Get full text
Electronic
4
5
by Eccles, William J.
Published 2007
Table of Contents: ';
“... -- Implementation -- Payment! -- Documentation -- Logic symbols -- IEEE standard symbols -- Wires and buses...”Published 2007
Abstract with links to full text
Electronic
6
Table of Contents: ';
“...Introduction: Logic and the study of time -- Introduction: Logic and the study of time -- Time...”
View fulltext via EzAccess
View fulltext via EzAccess
Electronic
7
Table of Contents: ';
“...Preface -- 1. Introduction -- 1.1 Logic -- 1.2 Elements of logic -- 1.3 Formalization -- 1.4...”
View fulltext via EzAccess
View fulltext via EzAccess
eBook
8
by Domingos, Pedro.
Published 2009
Table of Contents: ';
“...Introduction -- The interface layer -- What is the interface layer for AI -- Markov logic...”Published 2009
Abstract with links to full text
Electronic
9
by Cellucci, Carlo.
Published 2013
Table of Contents: ';
“... of Logic -- Chapter 3. Ancient Logic and Science -- Chapter 4. The Analytic Method -- Chapter 5...”Published 2013
Get full text
Electronic
10
11
12
Published 2013
Table of Contents: ';
“... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”Get full text
Electronic
13
Published 2013
Table of Contents: ';
“...Paraconsistency -- Introduction -- Part I Logic -- 1. Making Sense of paraconsistent Logic...”Get full text
Electronic
14
15
Published 2013
Table of Contents: ';
“... with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms...”Get full text
Electronic
16
by Mogavero, Fabio.
Published 2013
Table of Contents: ';
“...Graded Computation Tree Logic -- Minimal Model Quantifiers -- Reasoning About Strategies...”Published 2013
Get full text
Electronic
17
Published 2013
Table of Contents: ';
“... Models: Model Building and Model Checking over Linear Time -- Probabilistic IF Logic -- Contributed...”Get full text
Electronic
18
Published 2013
Table of Contents: ';
“... of Logic) -- Binding <U+0013> Data, Theory, Typology -- Lukasiewicz Logic: An Introduction -- Part 2...”Get full text
Electronic
19
Published 2009
Subjects: ';
“...Mathematical Logic and Formal Languages....”Get full text
Electronic
20
Published 2009
Subjects: ';
“...Mathematical Logic and Formal Languages....”Get full text
Electronic