Résumé
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.
Caractéristiques
- Éditions : Elsevier Masson
- Auteur : René Lalement
- Nombre de pages : 384
- ISBN : 9782225821042
- Date de publication : 1 janvier 1990
- Dimensions (L x H x E cm) : 16 X 24 X 2.6
- Poids (g) : 848
- Reliure : Cartonné
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !