Introduction à la calculabilité
Enregistré dans:
Auteur principal: | Wolper, Pierre. |
---|---|
Support: | Livre |
Langue: | Français |
Publié: |
Paris :
InterÉd,
1991
|
Collection: | I.I.A., informatique, intelligence artificielle
|
Sujets: | |
Autres localisations: | Voir dans le Sudoc |
Documents similaires
-
An introduction to mathematical machine theory.
par: Ginsburg, Seymour.
Publié: 1962 -
Codage symbolique
par: Beal, Marie-Pierre, 1962-
Publié: 1993 -
Méthodes mathématiques pour l'informatique
par: Vélu, Jacques, 1943-
Publié: 1994 -
Hasard et complexité en mathématiques
par: Chaitin, Gregory J.
Publié: 2009 -
Optimization and nonsmooth analysis
par: Clarke, Frank H.
Publié: 1983