m
     
Congrès

H 0 Logic and algorithmic
an international symposium held in honour of ernest specker for his 60th geburstages,zurich,fev. 5-11,1980

Enseignement Mathematics

1982

392 p.

00005322

03D10 ; 03D15 ; 03Fxx

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/ZURI/1980 00005322 [disponible]
Z