Start Over
You searched for: author_facet Padawitz, Peter

Search Results

Cover image for Computing in Horn clause theories

Computing in Horn clause theories

Location Call # Status
Joyner - General Stacks QA76.6.P327 1988 ✔ Available
Cover image for Deduction and declarative programming

Deduction and declarative programming

Location Call # Status
Joyner - General Stacks QA76.615.P33 1992 ✔ Available