Dale Miller
Artículos populares por Dale Miller
Ver todas las ofertas-
Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings: 14659 (Lecture Notes in Computer Science, 14659)
Precios de los artículos a partir de
Ver 13 ofertasEUR 12,60
-
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings: 7364 (Lecture Notes in Computer Science)
Precios de los artículos a partir de
Ver 11 ofertasEUR 46,22
-
Programming with Higher-Order Logic Hardback
Miller; Nadathur
Precios de los artículos a partir de
Ver 20 ofertasEUR 59,25
-
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings: 7679 (Theoretical Computer Science and General Issues)
Precios de los artículos a partir de
Ver 17 ofertasEUR 46,22
-
Proof Theory and Logic Programming: Computation as Proof Search
Miller, Dale
Precios de los artículos a partir de
Ver 25 ofertasEUR 61,07
