MPG.eBooks - Search Results - "logic programming"

1

by Clocksin, William F., Mellish, Christopher S.
Published 1994

Springer Berlin Heidelberg

Table of Contents: “... -- 9.6 Summary -- 10 -- Predicate Calculus, clausal form, resolution theorem proving, logic programming...”

2

by Clocksin, William F., Mellish, Christopher S.
Published 2003

Springer Berlin Heidelberg

Table of Contents: “... of Prolog to Logic -- Predicate Calculus, clausal form, resolution theorem proving, logic programming...”

3

by Clocksin, William F., Mellish, Christopher S.
Published 1987

Springer Berlin Heidelberg

Table of Contents: “... -- 9.6 Summary -- 10 -- Predicate Calculus, clausal form, resolution theorem proving, logic programming...”