Dale Miller – författare
Visar alla böcker från författaren Dale Miller. Handla med fri frakt och snabb leverans.
13 produkter
Proof Theory and Logic Programming
Computation as Proof Search
Av Dale Miller
Inbunden, 2025
951 kr
Lägg i varukorg
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the …
John Stuart Mill and the Art of Life
Av EGGLESTON ET AL, Ben Eggleston m. fl.
Inbunden, 2010
2123 kr
Lägg i varukorg
The 'Art of Life' is John Stuart Mill's name for his account of practical reason. In this volume, eleven leading scholars elucidate this fundamental, but widely neglected, element of Mill's thought. Mill divides the Art of Life into three 'departments': 'Morality, Prudence or Policy, and …
Business Ethics
A Textbook with Cases
Häftad, 2024
1046 kr
Lägg i varukorg
Miller/Shaw's BUSINESS ETHICS, 10th Edition, is a comprehensive and practical guide that will help you with real life ethical issues that rise in the business world. It will assist you through the process of developing critical thinking and analytical skills needed to successfully navigate the …
Programming with Higher-Order Logic
Av Dale Miller, Gopalan Nadathur
Inbunden, 2012
787 kr
Lägg i varukorg
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. However, these systems often embody variable binding, a notion that must be treated carefully at a …
Proof Theory and Logic Programming
Computation as Proof Search
Av Dale Miller
E-bok, 2025
986 kr
Lägg i varukorg
Automated Reasoning
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Av Bernhard Gramlich, Dale Miller m. fl.
Häftad, 2012
566 kr
Lägg i varukorg
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 events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS …
Automated Reasoning
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Av Ulrike Sattler, Dale Miller m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
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 events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS …
Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Av Chris Hawblitzel, Dale Miller
Häftad, 2012
566 kr
Lägg i varukorg
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 presented were carefully reviewed and selected from 37 submissions. They deal with those topics in …
Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Av Dale Miller, Chris Hawblitzel
E-bok, 2012
739 kr
Lägg i varukorg
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 presented were carefully reviewed and selected from 37 submissions. They deal with those topics in …
Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Av Jeremy Gibbons, Dale Miller
Häftad, 2024
734 kr
Lägg i varukorg
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 were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the …
Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Av Dale Miller, Jeremy Gibbons
E-bok, 2024
923 kr
Lägg i varukorg
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 were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the …
Facts Over Faith
28 Shocking Biblical Facts That Can Set Anyone Free From Christianity
Av Dale Miller
Häftad, 2024
240 kr
Lägg i varukorg
