trier par
Copyright © 2023 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Lambda-calcul | 56 résultat(s)

Services

Affiner la recherche

Mot Type Compte
lambdacalcul Mots du titre [56]
premierprécédent | 1 | 2 | 3 | 4 | 5 | 6 | suivantdernier

Livres 1.
Régnier, Laurent / Atelier national de reproduction des thèses / 1992
Thèses (version de soutenance) 2.
Régnier, Laurent / [s.n.] / 1992Résumé
Livres 3.
Krivine, Jean-Louis (1939-....) / Masson : E. Horwood / cop. 1993
Livres 4.
Even, Christian / Atelier national de reproduction des thèses / 1993
Thèses (version de soutenance) 5.
Even, Christian (19..-....) / [s.n.] / 1993Résumé
Livres 6.
Krivine, Jean-Louis (1939-....) / Masson / 1990
Thèses (version de soutenance) 7.
Lévy, Jean-Jacques (1947-....) / Université Paris VII / 1974
Thèses (version de soutenance) 8.
Petit, Barbara (1984-....) / 2011    Accès au texte intégralRésumé
Livres 9.
Mounier, Georges / Atelier national de reproduction des thèses / 1999
Livres 10.
Lavatelli, Carolina / Atelier national de reproduction des thèses / 1996