Cover Image
Read Now

2
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... for Proof-Carrying Code -- Parameterized Logic Programs where Computing Meets Learning -- Functional...”
Cover Image
Read Now

3
Published 2011
Springer Berlin Heidelberg
“... on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part...”
Cover Image
Read Now

4
Published 2020
Springer International Publishing
Table of Contents: “... of Small Sub-Constraint Satisfaction Problems -- 33rd Workshop on (Constraint) Logic Programming - WLP 2019...”
Cover Image
Read Now

5
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of logic program semantics and applications to testing -- PIDGETS unifying pictures and widgets in a...”
Cover Image
Read Now

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Resolution for logic programming with universal quantifiers -- A declarative approach to concurrent...”