algorithme # algorithme de fermeture oblique rapide # algèbre de Boole # arithmétique de Peano # complexité algébrique # complexité informatique # logique # machine de Turing # machine à accès aléatoire # problème de décision # théorie de Morse

Responsable Collectivité : Université de Genève

Ville d'édition : Genève

Pays d'édition : Suisse

Langue : Anglais

Collation : 1 portr.#24 cm#broch. ; Bibliogr.

Collection : Monographie de l'enseignement mathématique

N° de collection : 0030

Localisation : Colloque 1er étage (ZURI)

Année de la rencontre : 1980

Ville du congrès : Zurich

Pays du congrès : Allemagne RDA

Type Congrès : Congrès

Disponibilité : En archive

Niveau d'autorisation : Public

Exemplaires