Cover Image
Read Now

101
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... in Software Requirements -- Automated Verification of Variability Model Using First Order Logic -- Model-based...”
Cover Image
Read Now

102
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency -- Note...”
Cover Image
Read Now

103
Published 2020
Springer International Publishing
Table of Contents: “... via Optimal Hypersequent Calculi for Non-Normal Modal Logics -- Completeness Theorems for First-Order...”
Cover Image
Read Now

104
Published 1981
Springer Netherlands
Table of Contents: “... and Methodology of Empirical Sciences -- Standard Vs. Nonstandard Logic: Higher-Order, Modal, and First-Order...”
Cover Image
Read Now

105
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... in first order logics -- Reduction relations in strict applicative languages -- Approximation algorithms...”
Cover Image
Read Now

106
by Shallit, Jeffrey Outlaw
Published 2023
Cambridge University Press
“.... Readers will learn how to phrase their desired results in first-order logic, using free software...”
Cover Image
Read Now

107
by Gordon, Andrew S., Hobbs, Jerry R.
Published 2017
Cambridge University Press
“... hundred axioms of first-order logic organized into twenty-nine commonsense psychology theories and sixteen...”
Cover Image
Read Now

108
by Haddawy, Peter
Published 1994
Springer Berlin Heidelberg
“... problems by developing a first-order logic of time, chance, and action for representing and reasoning about...”
Cover Image
Read Now

109
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Learners to First Order Logic: A Case Study -- Case-Based Reasoning -- Genetic Algorithms in Machine...”
Cover Image
Read Now

110
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic...”
Cover Image
Read Now

111
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... first-order logic -- How to realize LSE narrowing -- Compositional analysis for equational Horn programs...”
Cover Image
Read Now

112
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... factorizations of abstract domains using first-order logic -- Abstractions of uniform proofs -- Complementing...”
Cover Image
Read Now

113
by Plaisted, David A., Zhu, Yunshan
Published 1997
Vieweg+Teubner Verlag
Table of Contents: “... First Order Logic and Refutational Theorem Proving -- 1.3 Search Space Formalism -- 1.4 Measures...”
Cover Image
Read Now

114 Table of Contents: “...1. Introduction -- 2. Logic Programming -- 2.1 Logic -- 2.2 Propositional Logic -- 2.3 First-Order...”
Cover Image
Read Now

115
by Kossak, Roman
Published 2024
Springer International Publishing
Table of Contents: “...Part I: Logic, Sets, and Numbers -- Chapter 1. First-order Logic -- Chapter 2. Logical seeing...”
Cover Image
Read Now

116
Published 2019
Springer Berlin Heidelberg
Table of Contents: “... of the d-logic of Planar Polygons -- An Ehrenfeucht–Fraisse game for inquisitive first-order logic...”
Cover Image
Read Now

117
by Crossley, John N.
Published 1965
North-Holland
Table of Contents: “... -- Distributive normal forms in first-order logic / Jaakko Hintikka -- Semantical analysis of intuitionistic logic...”
Cover Image
Read Now

118
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability...”
Cover Image
Read Now

119
by Reiter, Raymond
Published 2001
MIT Press
“... of first-order logic. Within this framework, it develops many features of dynamical systems modeling...”
Cover Image
Read Now

120
Published 1982
Springer Berlin Heidelberg
Table of Contents: “..., recursive programs, and first-order logic -- On induction vs. *-continuity -- Timesets -- Program logics...”