6 Ebooks de Dale Miller
Dale Miller & Gopalan (University of Minnesota) Nadathur: Programming with Higher-Order Logic
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. Howev …
PDF
DRM
€66.93
Bernhard Gramlich & Dale Miller: Automated Reasoning
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading ev …
PDF
Engleză
DRM
€57.19
Chris Hawblitzel & Dale Miller: Certified Programs and Proofs
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers …
PDF
Engleză
DRM
€57.77
Jeremy Gibbons & Dale Miller: Functional and Logic Programming
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.The 15 papers presented in this volume …
EPUB
Engleză
DRM
€70.17
Dale Miller & Deborah Prentice: Cultural Divides
Thirty years of progress on civil rights and a new era of immigration to the United States have together created an unprecedented level of diversity in American schools, workplaces, and neighborhoods …
PDF
Engleză
DRM
€36.54
