m

Bibliothèques de mathématique et de l'IREM

Documents  Lacombe, D. | enregistrements trouvés : 3

O
K L Q M | g | F x r
     

-A +A

P Q

Lacombe, D.

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

Symposium on automatic demonstration Ed. Laudet, M. ; Lacombe, D. ; Schützenberger, Marcel Paul. -Berlin : Springer , 1970 . - 310
https://doi.org/10.1007/BFb0060620


MathCongrès

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Cours de logique élémentaire. Chap. 1 : (1968-1969) Lacombe, D.. -S. L. : s. n. , 1969 . - Pag.mult.


MathOuvrage

logique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

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

Les Aspects sémantiques des problèmes additifs Esfahani, Esmael ; Dir. Lacombe, D.. -Strasbourg : Institut de recherche mathématique avancée ; Université Louis Pasteur , 1989 . - 229 p. ; 30 cm


MathThèse

didactique des mathématiques

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z