Dale Miller (2)
Auteur de Programming with Higher-Order Logic
Pour les autres auteurs qui s'appellent Dale Miller, voyez la page de désambigüisation.
Œuvres de Dale Miller
Étiqueté
Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.