Dale Miller – författare
Visar alla böcker från författaren Dale Miller.
9 produkter
John Stuart Mill and the Art of Life
Av EGGLESTON ET AL, Ben Eggleston m. fl.
Inbunden, 2010
2759 kr
Lägg i varukorg
Programming with Higher-Order Logic
Av Dale Miller, Gopalan Nadathur
Inbunden, 2012
1019 kr
Lägg i varukorg
Proof Theory and Logic Programming
Computation as Proof Search
Av Dale Miller
Inbunden, 2025
1239 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
739 kr
Lägg i varukorg
Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Av Chris Hawblitzel, Dale Miller
Häftad, 2012
739 kr
Lägg i varukorg
Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Av Jeremy Gibbons, Dale Miller
Häftad, 2024
959 kr
Lägg i varukorg
Facts Over Faith
28 Shocking Biblical Facts That Can Set Anyone Free From Christianity
Av Dale Miller
Häftad, 2024
309 kr
Lägg i varukorg