5 Ebook di 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. …
PDF
DRM
€66.13
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 …
PDF
Inglese
DRM
€57.21
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
Inglese
DRM
€57.06
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
Inglese
DRM
€70.12
