found: Logic programming, c1993:t.p. (Dale Miller) p. xiii (Univ. of Penn.)
found: OCLC #18293968, 4/17/95(hdg.: Miller, Dale A.; usage Dale A. Miller)
found: OCLC #25511436, 4/17/95(hdg.: Miller, Dale A.; usage D. Miller)
found: Programming with higher-order logic, 2012:ECIP t.p. (Dale Miller; INRIA Saclay, Ile de France) data view (b. December 11, 1956; currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team; has been a professor at the University of Pennsylvania and at the Ecole Polytechnique (France) and a Department Head at the Pennsylvania State University; has held visiting positions at the universities of Aix-Marseille, Sienna, Genoa, Pisa, and Edinburgh; received his PhD in Mathematics in 1983 from Carnegie Mellon University)