Dale Miller
Books
- Functional and Logic Programming
- Proof Theory and Logic Programming
- Retailing for the 21st Century
- Logic Programming
- Retail marketing
- A Water Source Guide for Dowsers
- A special kind of mother
- Grow your own
- Cultural Divides
- Issues and Iowans in the continuing American Revolution
- Programming with higher-order logic
- ICU Book
- Cultural Divides
- Certified Programs and Proofs
Author data: Open Library