👤

Peter J. Stuckey

2 books

Books by Peter J. Stuckey

Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2006
Computational Logic CL 2000 00
Computational Logic CL 2000 00
2000