skip to main content
Langue :
Afficher les résultats avec :
Filtré par : auteur: Kirchner, Hélène supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Frontiers of Combining Systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings
Material Type:
ebook
Ajouter au Panier

Frontiers of Combining Systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings

Ringeissen, Christophe (Ed.) ; Kirchner, Hélène (1952-...) (Ed.)

Lecture Notes in Computer Science ; 1794

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2000

2
Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings
Material Type:
ebook
Ajouter au Panier

Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings

Wechler, Wolfgang (1940-1991) (Ed.) ; Kirchner, Hélène (1952-...) (Ed.)

Lecture Notes in Computer Science ; 463

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

3
Automated Deduction — CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Automated Deduction — CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Kirchner, Hélène (1952-...) (Ed.) ; Kirchner, Claude (Ed.)

Lecture Notes in Computer Science ; 1421

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2006

4
Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Algebraic and Logic Programming : Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings

Kirchner, Hélène (1952-...) (Ed.) ; Levi, Giorgio (1942-...) (Ed.)

Lecture Notes in Computer Science ; 632

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

5
Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Ringeissen, Christophe (Ed.) ; Kirchner, Hélène (1952-...) (Ed.)

Lecture Notes in Computer Science ; 2422

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2002

6
Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
Material Type:
ebook
Ajouter au Panier

Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

Kirchner, Hélène (1952-...) (Ed.)

Lecture Notes in Computer Science ; 1059

Berlin [etc.]. Springer, 201. ?

Refine Search Results

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

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