Dale Miller

No bio available. Add one in Open Library.

Books by Dale Miller (50 max)

+ shelf+ list

Programming with higher-order logic

2012

Dale Miller

+ shelf+ list

Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia (Logic Programming)

1993

Dale Miller

+ shelf+ list

A special kind of mother

1974

Dale Miller

+ shelf+ list

Issues and Iowans in the continuing American Revolution

1976

Dale Miller

+ shelf+ list

Cultural Divides Understanding and Overcoming Group Conflict

1999

Deborah Prentice, Dale Miller

+ shelf+ list

Cultural Divides: Understanding and Overcoming Group Conflict

2001

Deborah Prentice, Dale Miller

+ shelf+ list

Retail marketing: a branding and innovation approach

2008

Dale Miller

+ shelf+ list

Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

2013

Chris Hawblitzel, Dale Miller

+ shelf+ list

Retailing for the 21st Century: Creating Great Brand Experiences for Customers

2017

Dale Miller, Bill Merrilees

+ shelf+ list

ICU Book

2021

Dale Miller

+ shelf+ list

A Water Source Guide for Dowsers

2022

Dale Miller

+ shelf+ list

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2024

Jeremy Gibbons, Dale Miller

+ shelf+ list

Proof Theory and Logic Programming: Computation As Proof Search

2025

Dale Miller