Cover Image
Read Now

5
by Voronkov, A.
Published 1992
Springer
Cover Image
Read Now

6
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... for Deductive Databases by Logic Programming -- Reasoning about Actions with CHRs and Finite Domain Constraints...”
Cover Image
Read Now

7
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Programming -- A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering...”
Cover Image
Read Now

8
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Programs -- Research Summary: Logic Programming for Massively Distributed Systems -- Research Summary...”
Cover Image
Read Now

9
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... Programming problems -- Inductive logic programming and constraint logic programming (abstract) -- Learning...”