Complexity and real computation /
Autres auteurs :
Blum, Lenore.
Publié par :
Springer,
(New York :)
Détails physiques : xvi, 453 p. : ill. ; 24 cm.
ISBN :0387982817 (hc : alk. paper).
Sujet(s) :
Computer science
|
Computational complexity
|
Real-time data processing
|
Computer algorithms
Année : 1998
| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres | Réservations |
|---|---|---|---|---|---|---|
| Livre | La bibliothèque des Sciences Exactes et Naturelles | 511.3 BLU (Parcourir l'étagère) | Disponible | 0000000000082 |
Total des réservations: 0
Survol La bibliothèque des Sciences Exactes et Naturelles Étagères Fermer l'étagère
| Pas d'image disponible |
|
|
|
|
|
|
||
| 511.3 AND VOL.2 Entailment : the logic of relevance and necessity / | 511.3 ANS Cognitive reasoning : | 511.3 BER There's something about Gödel | 511.3 BLU Complexity and real computation / | 511.3 BOU Logique formelle et argumentation | 511.3 BOU La logique floue et ses applications / | 511.3 BRA Hybrid logic and its proof-theory |
Includes bibliographical references (p. [431]-445) and index.


Il n'y a pas de commentaire pour ce document.