Skip to content
Book Glossary
Home
Practice
Lessons
About
Timothy P. Clement
Books
Logic Program Synthesis and Transformation
Author data:
Open Library