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

2
by Moutafakis, N.J.
Published 1987
Springer Netherlands
Table of Contents: ... Toward a Logic of Preference -- 2. Aristotelean Reflections in Richard M. Martin’s Extensionalized...

3
Published 1996
Springer Netherlands
Table of Contents: ... Logic and Methodology of Science -- 4. Hierarchical Learning of Boolean Functions -- 5. Inference...

4
by Hintikka, Jaakko, Hintikka, Merrill B.P.
Published 1989
Springer Netherlands
Table of Contents: ...Essay 1. Is Alethic Modal Logic Possible? -- Essay 2. Reasoning About Knowledge in Philosophy...

5
by Doets, Kees
Published 1994
MIT Press
Subjects: ...Logic programming...

6
by Nicole, Pierre
Published 1717
printed for William Taylor, at the Ship in Pater-Noster-Row
Subjects: ...Logic / Early works to 1800...

7
by Munn, Luke
Published 2018
meson press
... guaranteed. The irreducibility of the world renders logic inadequate and control gives way to contingency....

8
by Czelakowski, Janusz
Published 2001
Springer Netherlands
Table of Contents: ...0. Basic definitions and facts -- I. Protoalgebraic Logics. The Leibniz Operator -- 1...

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

10
by Birtwistle, Graham
Published 1996
Springer

11
by Rasiowa, Helena
Published 1974
North-Holland Pub. Co.
Subjects: ...Algebraic logic / fast / (OCoLC)fst00804936...

12
by Hellman, Geoffrey
Published 2021
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

13
Published 2016
Cambridge University Press
...Perspectives in logic...

14
by Stout, Margaret
Published 2012
CRC Press

15
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Computational Logician -- Bob Kowalski: A Portrait -- Bob Kowalski: A Portrait -- Directions for Logic...

16
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning...

18
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...

19
by Snyers, Dominique, Thayse, Andre
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars...

20
by Feibleman, J.K.
Published 1979
Springer Netherlands
Table of Contents: ...One. Introduction -- I. Logic as an Approach to Philosophy -- Two. Assumptions of Classical Logics...