Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Some Proof-Theoretic Aspects of Logic Programming -- The Safety-Progress Classification -- The Polyadic...”
Cover Image
Read Now

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... Entscheidungsunterstützung -- Directions for Logic Programming -- Architekturen für graphische Simulatoren -- The Role...”
Cover Image
Read Now

3
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... environment for logic programming -- Practitioner — realistic reuse of software -- Validation methods...”