Rewriting, Computation and Proof - Couverture souple

 
9783540839712: Rewriting, Computation and Proof
Couverture souple
ISBN 10 : 3540839712 ISBN 13 : 9783540839712
Editeur : Springer, 2008

L'édition de cet ISBN n'est malheureusement plus disponible.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540839712
ISBN 13 
9783540839712
Reliure
Paperback
Nombre de pages
296
Éditeur
Comon-Lundh Hubert, Kirchner Claude, Kirchner Hélène
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540731467: Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Edition présentée

ISBN 10 :  3540731466 ISBN 13 :  9783540731467
Editeur : Springer, 2007
Couverture souple