En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Arbib, Michael A. 3 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

A programming approach to computability Kfoury, A. J. ; Moll, Robert N. ; Arbib, Michael A. | Springer-Verlag 1982

Ouvrage

- viii; 251 p.
Cote : 00037016

03D60 ; 68N01 ; 03D80 ; 68-02 ; 03-02

Localisation : Ouvrage RdC (KFOU)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Arrows,structures,and functors
the categorical imperative Arbib, Michael A. ; Manes, Ernest G. | Academic Press ; Inc. 1985

Ouvrage


Cote : 00007314
algebre # categories # foncteur # theorie des foncteurs

18-XX

Localisation : Disparu

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Theories of abstract automata Arbib, Michael A. | Prentice-Hall, Inc. 1969

Ouvrage

- 412 p.
Cote : 00003281
automate # machine de Turing # fonction récursive # complexité # programmation # problème de Post # théorie de la décomposition algébrique # automate stochastique

68Q70 ; 68Q05

Localisation : Ouvrage RdC (ARBI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Référence

Codes MSC

J Plus

Date de parution