Dale Miller
Dale Miller
8 books in the database
Books
Programming with higher-order logicDale Miller
Programming with higher-order logic
Dale Miller · 2012
Logic ProgrammingDale Miller
Logic Programming
Dale Miller · 1993
Proof Theory and Logic ProgrammingDale Miller
Proof Theory and Logic Programming
Dale Miller · 2025
ICU BookDale Miller
ICU Book
Dale Miller · 2021
Retailing for the 21st CenturyDale Miller
Retailing for the 21st Century
Dale Miller · 2017
Retail marketingDale Miller
Retail marketing
Dale Miller · 2008
A special kind of motherDale Miller
A special kind of mother
Dale Miller · 1974
A Water Source Guide for DowsersDale Miller
A Water Source Guide for Dowsers
Dale Miller · 2022
Co-authored books and collections
Books that list Dale Miller among their authors but not as the lead author: co-written works, collections and compilations.
Cultural DividesDeborah Prentice
Cultural Divides
Deborah Prentice · 2001
Functional and Logic ProgrammingJeremy Gibbons
Functional and Logic Programming
Jeremy Gibbons · 2024
Certified Programs and ProofsChris Hawblitzel
Certified Programs and Proofs
Chris Hawblitzel · 2013
Cultural DividesDeborah Prentice
Cultural Divides
Deborah Prentice · 1999