Dale Miller
Dale Miller
8 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Dale Miller מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
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