Peter J. Stuckey

A list of authors with biographies, life dates, and future collections of all their books.

Author's Books

6

Logic Programming

Logic Programming

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Computational Logic CL 2000 00

Computational Logic CL 2000 00

Functional and Logic Programming

Functional and Logic Programming

Constraints and databases

Constraints and databases

Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming