Search alternatives:
"logica" » "logics"
"logical" » "logicsl"
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Concurrent constraint programming -- Specifications using multiple-conclusion logic programs...”
Cover Image
Read Now

4
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Multiparadigm logic programming -- Non-linear real constraints in constraint logic programming -- A general...”
Cover Image
Read Now

5
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... rewriting methods for efficient implementations of horn logic -- PAP: a logic programming system based on a...”
Cover Image
Read Now

7
by Levi, Giorgio
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

9
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Models and equality for logical programming -- Fifth generation computer project: Current research...”
Cover Image
Read Now

10
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... of streams -- Characterizing Kripke structures in temporal logic -- Dialogue with a proof system -- Induction...”
Cover Image
Read Now

11
Published 2004
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

12
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Logic Programming -- Analysis of Normal Logic Programs -- The Correctness of Set-Sharing -- Deriving...”