Search Results

You searched for: author_facet Hill, Patricia Remove constraint

Search Results

Cover image for Logic based program synthesis and transformation

Logic based program synthesis and transformation

Location Call # Status
Joyner - General Stacks QA76.63 .L69 2005 ✔ Available
Cover image for The Gödel programming language

The Gödel programming language

Location Call # Status
Joyner - General Stacks QA76.73.G17 H55 1994 ✔ Available