Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Semantics of constraint logic programs with bounded quantifiers -- Translating a modal language...”
Cover Image
Read Now

2
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Logic programming with sequent systems -- Predicates as parameters in logic programming -- A survey...”
Cover Image
Read Now

3
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... in extended logic programming languages -- Terminological reasoning and partial inductive definitions -- GCLA...”