| Titre : | Logique, réduction, résolution |
| Auteurs : | René Lalement, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1990 |
| Collection : | Etudes et recherches en informatique |
| ISBN/ISSN/EAN : | 978-2-225-82104-2 |
| Format : | 384 p. / 24 x 16 cm |
| Langues: | Français |
| Catégories : | |
| Mots-clés: | programmation ; théorie |
| 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. |
Exemplaires (4)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| SC009561 | INF00515 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC006490 | INF01107 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC006491 | INF01108 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC013913 | INF04326 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
