skip to main content
Language:
Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rewriting, computation and proof essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
Rewriting, computation and proof essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
Material Type:
Book 		Add to e-Shelf

Rewriting, computation and proof essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday

Hubert Comon; Claude Kirchner; H Kirchner (Hélène)

Berlin Springer New York c2007

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4600 ) and other locations(GetIt)

2
Automated deduction - CADE-15
Automated deduction - CADE-15
Material Type:
Book 		Add to e-Shelf

Automated deduction - CADE-15

C kircher; Kirchner, Helene

Berlin Springer 1998

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1421 ) and other locations(GetIt)

3
Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Material Type:
Book 		Add to e-Shelf

Algebraic methodology and software technology 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

AMAST 2002 (2002 Saint-Gilles-les-Bains, Réunion) H Kirchner (Hélène); Christophe Ringeissen 1967-

Berlin Springer London c2002

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2422 )(GetIt)

4
Frontiers of combining systems third international workshop, FroCoS 2000, Nancy, France, March 2000
Frontiers of combining systems third international workshop, FroCoS 2000, Nancy, France, March 2000
Material Type:
Book 		Add to e-Shelf

Frontiers of combining systems third international workshop, FroCoS 2000, Nancy, France, March 2000

FroCoS 2000 (3rd 2000 Nancy, France) H Kirchner (Hélène); Christophe Ringeissen 1967-

Berlin Springer London c2000

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1794 )(GetIt)

5
Trees in Algebra and Programming — CAAP '96
Trees in Algebra and Programming — CAAP '96
Material Type:
Book 		Add to e-Shelf

Trees in Algebra and Programming — CAAP '96

CAAP '96 Hélène Kirchner

Springer Berlin Heidelberg 1996

Online access

6
Algebraic and Logic Programming
Algebraic and Logic Programming
Material Type:
Book 		Add to e-Shelf

Algebraic and Logic Programming

Kirchner Hélène Kirchner; Giorgio Levi

Springer Berlin Heidelberg 1992

Online access

7
Frontiers of Combining Systems
Frontiers of Combining Systems
Material Type:
Book 		Add to e-Shelf

Frontiers of Combining Systems

FroCoS 2000 Hélène Kirchner; Christophe Ringeissen

Springer Berlin Heidelberg 2000

Online access

8
Algebraic and logic programming proceedings
Algebraic and logic programming proceedings
Material Type:
Book 		Add to e-Shelf

Algebraic and logic programming proceedings

International Workshop on Algebraic and Logic Programming. 3., Volterra, 1992 Helene Kirchner

Berlin Springer 1992

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.632 e.1 ) and other locations(GetIt)

9
Automated Deduction — CADE-15
Automated Deduction — CADE-15
Material Type:
Book 		Add to e-Shelf

Automated Deduction — CADE-15

International Conference on Automated Deduction Claude Kirchner; Hélène Kirchner

Springer Berlin / Heidelberg 1998

Online access

10
Algebraic and Logic Programming
Algebraic and Logic Programming
Material Type:
Book 		Add to e-Shelf

Algebraic and Logic Programming

Kirchner Hélène Kirchner; Wolfgang Wechler; Centre national de la recherche scientifique (France)

Springer Berlin Heidelberg 1990

Online access

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Book Chapters  (141)
  2. Conference Proceedings  (119)
  3. Articles  (72)
  4. Books  (24)
  5. Web Resources  (9)
  6. Dissertations  (3)
  7. Reports  (2)
  8. magazinearticle  (2)
  9. More options open sub menu

Creation Date 

From To
Refine
  1. Before1990  (11)
  2. 1990To1998  (90)
  3. 1999To2005  (223)
  4. 2006To2013  (72)
  5. After 2013  (32)
  6. More options open sub menu

Language 

  1. English  (360)
  2. Catalan  (6)
  3. French  (3)
  4. Spanish  (3)
  5. Japanese  (3)
  6. More options open sub menu

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far