Cover Image
Read Now

161
by Stuckey, Peter J
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

162
by Jacquette, Dale
Published 2006
Elsevier/North Holland
Table of Contents: “... -- Introduction: Philosophy of Logic Today (Dale Jacquette) -- What is Logic? (Jaakko Hintikka and Gabriel Sandu...”
Cover Image
Read Now

163
by Demoen, Bart
Published 2004
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

164
by Codognet, Philippe
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

165
by Schlechta, Karl
Published 1997
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

166
by Palamidessi, Catuscia
Published 2003
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

168
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Verification: An Abductive Logic Programming Tool -- Visual Logic Programming Method Based on Structural...”
Cover Image
Read Now

169
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Invited Tutorial -- Overcoming Performance Barriers: Efficient Verification Techniques for Logical...”
Cover Image
Read Now

170
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Why Fuzzy Logic? – A Spectrum of Theoretical and Pragmatics Issues -- On Fuzzy Set Theories...”
Cover Image
Read Now

171
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Declarative Specifications Using Logic Programming -- Prolog Based Description Logic Reasoning -- Resource...”
Cover Image
Read Now

172
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Completion in the SLG-WAM -- Doctoral Consortium -- Research Summary: Tabled Evaluation for Transaction Logic...”
Cover Image
Read Now

173
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Logic and databases: A 20 year retrospective -- A parametric approach to deductive databases...”
Cover Image
Read Now

174
Published 2016
Birkhäuser
Table of Contents: “...Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic...”
Cover Image
Read Now

175
by Breeze, Beth, Mohan, J.
Published 2016
Palgrave Macmillan UK
“..., charity leaders, fundraisers and philanthropy advisers. This data enables them to explore the logic...”
Cover Image
Read Now

176
by Kaye, Richard
Published 2007
Cambridge University Press
Table of Contents: “... algebras -- Propositional logic -- Valuations -- Filters and ideals -- First-order logic -- Completeness...”
Cover Image
Read Now

177
by Sheppard, Barnaby
Published 2014
Cambridge University Press
Table of Contents: “...Introduction -- Logical foundations -- Avoiding Russell's paradox -- Further axioms -- Relations...”
Cover Image
Read Now

178
by Artemov, S. N., Fitting, Melvin
Published 2019
Cambridge University Press
Subjects: “...Logic, Symbolic and mathematical...”
Cover Image
Read Now

179
Published 2020
Springer International Publishing
Table of Contents: “... of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation...”
Cover Image
Read Now

180
Published 2022
Cambridge University Press
Table of Contents: “...Paula Tarankow, "Race and the carceral logics in the history of the American Animal Welfare...”