MPG.eBooks - Search Results - "logic programming"

1

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... -- Birkhoff's HSP-theorem for cumulative logic programs -- Finite domains and exclusions as first-class...”

2

Published 1996

Springer Berlin Heidelberg

Table of Contents: “...Semantics of constraint logic programs with bounded quantifiers -- Translating a modal language...”

3

by Dyckhoff, Roy
Published 1994

Springer

4

by Dyckhoff, Roy
Published 1996

Springer