Calcul formel / James Harold Davenport

Public ISBD Titre : Calcul formel : Systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : James Harold Davenport (19..-....), Auteur ; Yvon Siret (19..-....), Auteur ; Tournier (1945-....), Auteur ; Daniel Lazard (1941-....), Préfacier, etc. Editeur : Paris : Masson Année de publication : 1993 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 275 p. Présentation : couv. en coul. ill. Format : 25 cm. ISBN/ISSN/EAN : 2-225-84200-0 Note générale : Bibliogr. p. 255-269. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation Calcul formel : Systèmes et algorithmes de manipulations algébriques [texte imprimé] / James Harold Davenport (19..-....), Auteur ; Yvon Siret (19..-....), Auteur ; Tournier (1945-....), Auteur ; Daniel Lazard (1941-....), Préfacier, etc. . - Paris : Masson, 1993 . - 275 p. : couv. en coul. ill. ; 25 cm.. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) . ISBN : 2-225-84200-0 Bibliogr. p. 255-269. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
62935	08-02-637	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

Logique, réduction, résolution / René Lalement

Public ISBD Titre : Logique, réduction, résolution Type de document : texte imprimé Auteurs : René Lalement, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 370 p. Présentation : ill., couv. ill. Format : 24 cm. ISBN/ISSN/EAN : 2-225-82104-6 Note générale : Bibliogr. p. 359-363. Index. Langues : Français (fre) Index. décimale : 08-03- Application de l'informatique classique 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 a travers le lambda-calcul; pour la résolution, ce sont la validité, la complétude voire l'équité du calcul qui importent. Les systèmes d'inférence et les méthodes sémantiques de la logique sont présentes et appliques a l'étude de ces propriétés, et des problèmes d'effectivité. Deux langages récents fondes sur ces principes sont utilises : CAML et NU-Prolog. Chaque chapitre est suivi d'exercices, résolus pour certains Logique, réduction, résolution [texte imprimé] / René Lalement, Auteur . - Paris : Masson, 1990 . - 370 p. : ill., couv. ill. ; 24 cm.. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) . ISBN : 2-225-82104-6 Bibliogr. p. 359-363. Index. Langues : Français (fre) Index. décimale : 08-03- Application de l'informatique classique 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 a travers le lambda-calcul; pour la résolution, ce sont la validité, la complétude voire l'équité du calcul qui importent. Les systèmes d'inférence et les méthodes sémantiques de la logique sont présentes et appliques a l'étude de ces propriétés, et des problèmes d'effectivité. Deux langages récents fondes sur ces principes sont utilises : CAML et NU-Prolog. Chaque chapitre est suivi d'exercices, résolus pour certains

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
61720	08-03-68	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

Logique temporelle / Éric Audureau

Public ISBD Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Auteurs : Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur ; Erwin Engeler, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1990 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 234 p. Présentation : ill., couv. ill. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81967-4 Note générale : Bibliogr. p. 224-232. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] / Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur ; Erwin Engeler, Préfacier, etc. . - Paris : Masson, 1990 . - 234 p. : ill., couv. ill. ; 25 cm.. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) . ISBN : 978-2-225-81967-4 Bibliogr. p. 224-232. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
62048	08-02-632	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

---

1 (1 - 3 / 3) Par page : 25 50 100 200