GEOTRUST SSL CERTIFICATE
| Titre : | Logique et complexité |
| Auteurs : | Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès science publications, 1995 |
| Collection : | Traité des nouvelles technologies, ISSN 1158-3509 |
| Sous-collection : | Informatique |
| ISBN/ISSN/EAN : | 978-2-86601-496-4 |
| Format : | 336 p. / 24 x 16 cm |
| Langues: | Français |
| Index. décimale : | 511 (Logique mathématique, Jeux mathématiques) |
| Mots-clés: | logique symbolique et mathématique ; complexité de calcul (informatique) |
| Résumé : |
Consacré à la théorie de la complexité et à la caractérisation logique des classes de problèmes de décision et de calcul. Les méthodes utilisées proviennent directement de la recherche récente en ce domaine. L'éventail des sujets traités va des classes de la complexité classiques aux classes probabilistes et aux problèmes d'approximation. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
