Dale Miller
Articles populaires de Dale Miller
Afficher toutes les offres-
Functional and Logic Programming: 17th International Symposium, Flops 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Prix des articles à partir de
Afficher les 13 offresEUR 12,57
-
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Prix des articles à partir de
Afficher les 17 offresEUR 46,22
-
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Prix des articles à partir de
Afficher les 11 offresEUR 46,22
-
Programming with Higher-Order Logic.
Miller, Dale; Nadathur, Gopalan
Prix des articles à partir de
Afficher les 20 offresEUR 59,12
-
Proof Theory and Logic Programming: Computation as Proof Search
Miller, Dale
Prix des articles à partir de
Afficher les 25 offresEUR 60,94
