Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers - Couverture souple

International Workshop On Higher-Order Algebra, Logic, And Term Rewriting (2nd : 1995 : Paderborn, Germany)

 
9780387612546: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers
Couverture souple
ISBN 10 : 0387612548 ISBN 13 : 9780387612546
Editeur : Springer Nature, 1996

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

Éditeur
Springer Nature
Date d'édition
1996
Langue
anglais
ISBN 10 
0387612548
ISBN 13 
9780387612546
Reliure
Broché
Éditeur
Dowek Gilles
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540612544: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Edition présentée

ISBN 10 :  3540612548 ISBN 13 :  9783540612544
Editeur : Springer, 2008
Couverture souple