Cover Image
Read Now

161
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Joint Invited Talks -- Computational Logic and Continuous Mathematics, Pure and Applied -- Math...”
Cover Image
Read Now

162
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- A Computational Logic Approach to Heterogenous Agent Systems -- Declarative...”
Cover Image
Read Now

163
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... on Algebraic Surface Public-Key Cryptosystems -- Computational Logic -- The Four Colour Theorem: Engineering...”
Cover Image
Read Now

164
Published 2015
Springer International Publishing
Table of Contents: “... -- A Formal Theory of Justifications -- A New Computational Logic Approach to Reason with Conditionals...”
Cover Image
Read Now

165
by Ayouni, Mansour
Published 2020
Apress
Cover Image
Read Now

166
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Model Checking: Back and Forth between Hardware and Software -- Computational Logical Frameworks...”
Cover Image
Read Now

167
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... with FPGAs -- The Trianus system and its application to custom computing -- Logic synthesis for FPGAs using a...”
Cover Image
Read Now

168
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... -- The karlsruhe induction theorem proving system -- Overview of a theorem-prover for a computational logic -- GEO...”
Cover Image
Read Now

169
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of theComputational Logic -- Exaggerated Claims for Interactive Stories -- Tools, Applications and Frameworks --...”
Cover Image
Read Now

170
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction -- 4 COLA – Computational Logic...”
Cover Image
Read Now

171
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for an ITS for Computational Logic -- A Reasoning Model for CBR_BDI Agents Using an Adaptable Fuzzy Inference...”
Cover Image
Read Now

172
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic...”
Cover Image
Read Now

173
Published 1990
Springer Netherlands
Table of Contents: “... and Electronics -- Vision -- Computational Logic -- Computer Science — The Past and the Future -- Recent...”
Cover Image
Read Now

174
by Bradley, Aaron R., Manna, Zohar
Published 2007
Springer Berlin Heidelberg
“...Computational logic is a fast-growing field with applications in artificial intelligence...”
Cover Image
Read Now

175
by Lloyd, John W.
Published 2003
Springer Berlin Heidelberg
“..., and researchers in either of those fields. For those in computational logic, no previous knowledge of machine...”
Cover Image
Read Now

176
by Stachniak, Z.
Published 1996
Springer Netherlands
“... intelligence, symbolic and computational logic. The material is suitable as a reference book for researchers...”
Cover Image
Read Now

177
by Montali, Marco
Published 2010
Springer Berlin Heidelberg
“... abstractions via the integration and extension of quite diverse approaches into a computational logic-based...”
Cover Image
Read Now

178
Published 2012
Springer Berlin Heidelberg
“...This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London...”
Cover Image
Read Now

179
Published 2002
Springer Berlin Heidelberg
“... submissions. All current aspects of logic programming and computational logic are addressed...”
Cover Image
Read Now

180
Published 2015
Springer International Publishing
“... of computing; logic and program modelling...”