Cover Image
Read Now

1
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

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Programming in a Meta-logical Framework -- Refereed Papers Logic and Functional-Logic Programming -- Online...”
Cover Image
Read Now

3
by Marriott, Kimbal, Stuckey, Peter J.
Published 1998
MIT Press
Subjects: “...Logic programming...”
Cover Image
Read Now

4
Published 2019
Springer International Publishing
Table of Contents: “...Analysis of term rewriting -- Logic-based distributed/concurrent programming -- Analysis of logic...”