1
by Mogavero, Fabio
Published 2013
Atlantis Press
Table of Contents: ...Graded Computation Tree Logic -- Minimal Model Quantifiers -- Reasoning About Strategies...

2
by T. Atanassov, Krassimir
Published 2017
Springer International Publishing
Table of Contents: ...Elements of Intuitionistic Fuzzy Propositional Calculus -- Intuitionistic Fuzzy Predicate Logic...

3
by Ma, Yanjun, Kan, Edwin
Published 2017
Springer International Publishing
Table of Contents: ...Part 1. Basics -- 1. Introduction -- 2. Overview of Logic CMOS Devices -- 3. Overview of Logic CMOS...

4
by LaMeres, Brock J.
Published 2017
Springer International Publishing
Table of Contents: ... -- Combinational Logic Design -- Verilog (Part 1) -- MSI Logic -- Sequential Logic Design -- Verilog (Part 2...

5
by LaMeres, Brock J.
Published 2019
Springer International Publishing
Table of Contents: ... -- Combinational Logic Design -- VHDL (Part 1) -- MSI Logic -- Sequential Logic Design -- VHDL (Part 2...

6
by LaMeres, Brock J.
Published 2017
Springer International Publishing
Table of Contents: ... -- Combinational Logic Design -- VHDL (Part 1) -- MSI Logic -- Sequential Logic Design -- VHDL (Part 2...

7
by LaMeres, Brock J.
Published 2019
Springer International Publishing
Table of Contents: ... -- Combinational Logic Design -- Verilog (Part 1) -- MSI Logic -- Sequential Logic Design -- Verilog (Part 2...

8
by LaMeres, Brock J.
Published 2024
Springer International Publishing
Table of Contents: ... -- Combinational Logic Design -- VHDL (Part 1) -- MSI Logic -- Sequential Logic Design -- VHDL (Part 2...

9
by LaMeres, Brock J.
Published 2024
Springer International Publishing
Table of Contents: ... -- Combinational Logic Design -- Verilog (Part 1) -- MSI Logic -- Sequential Logic Design -- Verilog (Part 2...

10
by Jøsang, Audun
Published 2016
Springer International Publishing
Table of Contents: ... Vagueness and Uncertainty -- Principles of Subjective Logic -- Addition, Subtraction and Complement...

11
by Ognjanović, Zoran, Rašković, Miodrag, Marković, Zoran
Published 2016
Springer International Publishing
Table of Contents: ...Introduction, Historical Background -- Syntax and Semantics of Probability Logics -- Completeness...

12
by Trillas, Enric, Eciolaza, Luka
Published 2015
Springer International Publishing
Table of Contents: ...On the roots of fuzzy sets -- Algebras of fuzzy sets -- Reasoning and fuzzy logic -- Fuzzy...

13
by Kapsner, Andreas
Published 2014
Springer International Publishing
Table of Contents: ... to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three...

14
by Li, Wei
Published 2014
Birkhäuser
Table of Contents: ...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...

15
by Li, Wei
Published 2010
Birkhäuser
Subjects: ...Mathematical logic...

17
by Teichmann, Philip
Published 2012
Springer Netherlands
Subjects: ...Logic design...

18
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...

19
Published 2011
Springer Berlin Heidelberg
...: formal linguistics, computational linguistics, logic, and cognition...

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... for Heterogeneous Information Systems -- Nonmonotonic Logic Programs for the Semantic Web -- ICLP 2005 Doctoral...