MPG.eBooks - Search Results - "logic programming"

1

Published 1994

Springer Berlin Heidelberg

Table of Contents: “...Concurrent constraint programming -- Specifications using multiple-conclusion logic programs...”

2

by Kirchner, Hélène
Published 1992

Springer

3

by Levi, Giorgio
Published 1994

Springer

4

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... -- Multiparadigm logic programming -- Non-linear real constraints in constraint logic programming -- A general...”

5

Published 1987

Springer Berlin Heidelberg

Table of Contents: “...Models and equality for logical programming -- Fifth generation computer project: Current research...”

6

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... -- Logic Programming -- Analysis of Normal Logic Programs -- The Correctness of Set-Sharing -- Deriving...”

7

Published 1988

Springer Berlin Heidelberg

Table of Contents: “... rewriting methods for efficient implementations of horn logic -- PAP: a logic programming system based on a...”