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 Engeler, Erwin 2 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r

Engeler, Erwin

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Symposium on semantics of algorithmic languages Engeler, Erwin | Springer 1971

Congrès

Lecture notes in mathematics

Cote : M/A1(188)
ISBN/ISSN : 3-540-05377-8

algol ; démonstration ; langage ; sémantique

... Lire [+]

Sélection

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

4

Gerer mes favoris

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

Foundations of mathematics : questions of analysis, geometry & algotithmics Engeler, Erwin ; Thomas, C. B. | Springer 1993

Monographie

Cote : ENGELER f
ISBN/ISSN : 3-540-56422-5

combinatoire ; fondement des mathématiques ; logique ; métamathématique ; modèle non standard

... Lire [+]

Sélection

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

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun