Archives Henri-Poincaré

Affichage de 275 résultats

Description archivistique

Options de recherche avancée

Trouver les résultats avec :

dans

Limiter les résultats à :

Dépôt

Description de haut niveau

Filtrer les résultats par :

Niveau de description

Document numérique disponible

Instrument de recherche

Dénomination générale des documents

Descriptions de haut niveau Toutes les descriptions

Filtrer par dates :

Début

Fin

Chevauchement Exact

Utiliser cette option pour préciser le mode de recherche par dates. "Exact" fait en sorte que les dates extrêmes des résultats de recherche se situeront entièrement entre les dates entrées. "Chevauchement" fait en sorte que toutes les descriptions dont la date de début ou de fin se situent au sein des dates entrées feront partie des résultats de recherche.

Aperçu avant impression Hierarchy Affichage :

Trier par:

Direction:

Preuves de descriptions de traitements de textes par attributs

Preuves de descriptions de traitements de textes par attributs

Du problème à sa solution

Du problème à sa solution

Du problème à sa solution, brouillon

Du problème à sa solution, brouillon

Calculs, ensembles de calculs, équivalence de programmes

Calculs, ensembles de calculs, équivalence de programmes

Some proposals for a very high level language on a variable universe

Some proposals for a very high level language on a variable universe

Inference for Regular Bilanguages

Inference for Regular Bilanguages

Brouillon pour une conférence en anglais

Brouillon pour une conférence en anglais

Brouillons divers

Brouillons divers

Calculs, ensembles de calculs, équivalence de programmes (*)

Calculs, ensembles de calculs, équivalence de programmes (*)

Compte-rendu du colloque organisé par l'I.R.E.M de Nancy à Pont à mousson les 27 et 28 avril 1974

Compte-rendu du colloque organisé par l'I.R.E.M de Nancy à Pont à mousson les 27 et 28 avril 1974

Résultats 71 à 80 sur 275

« Précédent
1
...
5
6
7
8
9
10
11
...
28
Suivant »