GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (1)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
René Lalement, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1990Présente deux paradigmes de calcul sous l'angle de la logique : la réduction, base de la programmation logique, est étudiée à travers le lambda-calcul; pour la résolution, ce sont la validité, la complétude, voire l'équité du calcul, qui importent.
