skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Faut-il traduire les sciences sociales ? 1er Table ronde. 05 Quel traducteur pour quel texte ? Réflexion sur l’expérience de traduction Débat 1er table ronde
Material Type:
Vidéo
Ajouter à Mon espace

Faut-il traduire les sciences sociales ? 1er Table ronde. 05 Quel traducteur pour quel texte ? Réflexion sur l’expérience de traduction Débat 1er table ronde

Judet De La Combe Pierre ; Leclerc-Olive Michèle ; Barake Bassam ; Blerald Serge

Direction de l'Audiovisuel de l'EHESS (Dir. Jean-Claude Penrad), 2011

Accessible en ligne

2
Conditional and typed rewriting systems : CTRS workshop... proceedings
Material Type:
Acte de conférence
Ajouter à Mon espace

Conditional and typed rewriting systems : CTRS workshop... proceedings

International Conditional and Typed Rewriting Systems Workshop 002 Montreal 1990. ; Kaplan, Stéphane ; Okada, Mitsuhiro (1954-....)

Berlin New York NY Paris : Springer, 1991

Voir les exemplaires

3
Rewriting techniques and applications : RTA-91 proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Rewriting techniques and applications : RTA-91 proceedings ..

International Conference on Rewriting Techniques and Applications 004 Como 1991. ; Book, Ronald V.

Berlin New York NY Paris : Springer, 1991

Voir les exemplaires

4
Automated deduction - CADE-11 : proceedings
Material Type:
Livre
Ajouter à Mon espace

Automated deduction - CADE-11 : proceedings

International Conference on Automated Deduction 011 Saratoga Springs NY 1992. ; Kapur, Deepak

Berlin New York NY Paris : Springer, 1992

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Set-theoretic graph rewriting

Raoult, Jean-Claude ; Voisin, Frédéric

Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique, 1992

Voir les exemplaires

6
Algebraic and logic programming : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

Algebraic and logic programming : proceedings ..

Congrès 002 Nancy 1990. ; Kirchner, Hélène ; Wechler, Wolfgang (1940-1991)

Berlin New York NY London Paris : Springer, 1990

Voir les exemplaires

7
Recent trends in data type specification : proceedings
Material Type:
Livre
Ajouter à Mon espace

Recent trends in data type specification : proceedings

Workshop on Specification of Abstract Data Types 007 Wusterhausen/Dosse 1990. ; Ehrig, Hartmut (1944-....) ; Jantke, Klaus P. ; Orejas, Fernando ; Reichel, Horst

Berlin New York NY Paris : Springer, 1991

Voir les exemplaires

8
Term rewriting systems
Material Type:
Livre
Ajouter à Mon espace

Term rewriting systems

Terese

Cambridge New York : Cambridge University Press, 2003

Voir les exemplaires

9
Constraint programming languages : their specification and generation
Material Type:
Livre
Ajouter à Mon espace

Constraint programming languages : their specification and generation

Leler, William.

Readings MA Don Mills Wokingham : Addison-Wesley, 1988

Voir les exemplaires

10
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 proceedings
Material Type:
Acte de conférence
Ajouter à Mon espace

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 proceedings

International workshop Conditional term rewriting systems 1 1987 Orsay, Essonne. ; Jouannaud, Jean-Pierre ; Kaplan, Stéphane

Berlin Heidelberg Paris etc. : Springer-Verlag, 1988

Voir les exemplaires

11
Computational aspects of an order-sorted logic with term declarations.
Material Type:
Livre
Ajouter à Mon espace

Computational aspects of an order-sorted logic with term declarations.

Schmidt-Schauss, Manfred.

Berlin New York NY Paris : Springer, 1989

Voir les exemplaires

12
STACS 94 : 11th annual symposium... proceedings
Material Type:
Livre
Ajouter à Mon espace

STACS 94 : 11th annual symposium... proceedings

Symposium on Theoretical Aspects of Computer Science 011 Caen 1994. ; Enjalbert, Patrice ; Mayr, Ernst W. ; Wagner, Klaus Werner

Berlin New York NY Paris : Springer, 1994

Voir les exemplaires

13
Rewriting techniques and applications : RTA '93... proceedings
Material Type:
Livre
Ajouter à Mon espace

Rewriting techniques and applications : RTA '93... proceedings

Congrès 005 Montreal 1993. ; Kirchener, Claude

Berlin New York NY Paris : Springer, 1993

Voir les exemplaires

14
CAAP '92 : proceedings
Material Type:
Livre
Ajouter à Mon espace

CAAP '92 : proceedings

Colloquium on Trees in Algebra and Programming 017 Rennes 1992. ; Raoult, Jean-Claude

Berlin New York NY Paris : Springer, 1992

Voir les exemplaires

15
Material Type:
Livre
Ajouter à Mon espace

PUISSANCE DES SYSTEMES DE REECRITURE CLOS A GARDE RATIONNELLE.

S.L. : s.n., 1988

Voir les exemplaires

16
Material Type:
Livre
Ajouter à Mon espace

Higher-order rewrite systems and their confluence

Mayr, Richard ; Nipkow, Tobias ( 1958-... )

München : Technische Universität München, 1994

Voir les exemplaires

17
Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming : (RULE'02) Pittsburgh, Pennsylvania, USA, October 5, 2002
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming : (RULE'02) Pittsburgh, Pennsylvania, USA, October 5, 2002

ACM SIGPLAN Workshop on Rule-Based Programming ACM SIGPLAN Workshop on Rule-Based Programming 3rd Pittsburgh, Pa. 2002 ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York, N.Y. : Association for Computing Machinery, 2002

Voir les exemplaires

18
Material Type:
Versions multiples

Term rewriting and all that

Baader, Franz ; Nipkow, Tobias (1958-...)

Plusieurs versions trouvées
Il y a 2 versions

19
Through a glass darkly : Esarhaddon's retrospects on the dowfall of Babylon
Material Type:
Article
Ajouter à Mon espace

Through a glass darkly : Esarhaddon's retrospects on the dowfall of Babylon

Brinkman, John A

New Haven Conn. : American Oriental Society, 1984

Disponible(Obtenir)

20
Material Type:
Thèse
Ajouter à Mon espace

Amélioration des performances d'un système de compilation d'équations

Bordeaux : Univ. Bordeaux 1, 1996

Voir les exemplaires(Obtenir)

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Type de ressource 

  1. Actes de conférence  (4)
  2. Articles  (67)
  3. Audio Vidéo  (1)
  4. Autres  (27)
  5. Livres  (46)
  6. Thèses  (13)
  7. Plus d’options open sub menu

Auteur 

  1. Lanselle, Rainier  (10)
  2. Centre de recherche sur les civilisations de l'Asie Orientale (CRCAO) ; École pratique des hautes études (EPHE) - Collège de France (CdF) - Université Paris Diderot - Paris 7 (UPD7) - Centre National de la Recherche Scientifique (CNRS)  (10)
  3. Histoire, Archéologie et littératures des Mondes chrétiens et musulmans médiévaux (CIHAM) ; École normale supérieure - Lyon (ENS Lyon) - Université Lumière - Lyon 2 (UL2) - École des hautes études en sciences sociales (EHESS) - Université Jean Moulin - Lyon III - Université d'Avignon et des Pays de Vaucluse (UAPV) - Centre National de la Recherche Scientifique (CNRS)  (7)
  4. Cognitions Humaine et ARTificielle ( CHART ) ; Université Paris 8 Vincennes-Saint-Denis ( UP8 ) -École pratique des hautes études ( EPHE ) -Université Paris Nanterre ( UPN )  (3)
  5. Legros , Denis  (3)
  6. Crinon , Jacques  (2)
  7. Hennette-Vauchez , Stéphanie  (2)
  8. Dershowitz, Nachum (1951-...)  (2)
  9. Conrotto, Francesco  (2)
  10. Parey, Armelle  (2)
  11. Pierreville, Corinne  (2)
  12. Ecritures de la modernité ; THALIM - Théorie et histoire des arts et des littératures de la modernité - UMR 7172 (THALIM) ; Centre National de la Recherche Scientifique (CNRS) - École normale supérieure - Paris (ENS Paris) - Université Sorbonne Nouvelle - Paris 3 - Centre National de la Recherche Scientifique (CNRS) - École normale supérieure - Paris (ENS Paris) - Université Sorbonne Nouvelle - Paris 3  (2)
  13. Jantzen, Matthias  (2)
  14. Kaplan, Stéphane  (2)
  15. ARIAS - Atelier de Recherche sur l'Intermédialité et les Arts du Spectacle ( ARIAS ) ; Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Paris ( ENS Paris ) -Université Sorbonne Nouvelle - Paris 3  (2)
  16. Centre interdisciplinaire de recherche, culture, éducation, formation, travail ( CIRCEFT ) ; Université Paris 8 Vincennes-Saint-Denis ( UP8 ) -Université Paris-Est Créteil Val-de-Marne - Paris 12 ( UPEC UP12 )  (2)
  17. Elalouf, Marie-Laure  (2)
  18. Centre de Théorie et Analyse du Droit ( CTAD ) ; École normale supérieure - Paris ( ENS Paris ) -École des hautes études en sciences sociales ( EHESS ) -Université Paris Nanterre ( UPN ) -Centre National de la Recherche Scientifique ( CNRS )  (2)
  19. Raoult, Jean-Claude  (2)
  20. Kirchner, Claude (19..-...)  (2)
  21. Université de Nancy I  (2)
  22. Roman , Diane  (2)
  23. Laboratoire d'études et de recherches sur l'action publique ( LERAP ) ; Université de Tours  (2)
  24. Acosta-Hughes, Benjamin  (1)
  25. Toussaint-Thiriet, Benjamine  (1)
  26. Guinle, Francis  (1)
  27. Slaby, Frédéric  (1)
  28. Heberlé, Jean-Philippe  (1)
  29. Ouvrard, Elise  (1)
  30. Baldi, Roberta  (1)
  31. Chairat Roux, Stéphanie  (1)
  32. Legros, Denis  (1)
  33. Létoublon, Françoise  (1)
  34. Sayssac-Sainte Marie Perrin, Marlène  (1)
  35. Hoareau, Yann Vigile  (1)
  36. Ivonne Defant  (1)
  37. Bonord, Aude  (1)
  38. Cristina Ceron  (1)
  39. Marin, Brigitte  (1)
  40. Grégoire, Pascal  (1)
  41. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1987  (15)
  2. 1987 à 1992  (36)
  3. 1993 à 2001  (13)
  4. 2002 à 2010  (41)
  5. Après 2010  (60)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré