Pré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. ©Electre 2024
Paru le : 01/01/1990
Thématique : Mathématiques Appliquées
Auteur(s) : Auteur : René Lalement
Éditeur(s) :
Elsevier Masson
Collection(s) : Etudes et recherches en informatique
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782225821042
Reliure : Cartonné
Pages : 384
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 2.6 cm
Poids: 848 g
Carte fidélité
Mollat Radio
