Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings. by Series: Lecture notes in computer science ; 1421. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©1998
Other title:
  • Automated deduction
  • CADE-15
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.). by Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4600. | Lecture notes in computer science. Festschrift.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner, ed. by Series: Lecture notes in computer science ; 690.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha