Computational Aspects of an Order-Sorted Logic With Term Declarations - Couverture souple

Schmidt-Schauss, M.

 
9780387517056: Computational Aspects of an Order-Sorted Logic With Term Declarations
Couverture souple
ISBN 10 : 0387517057 ISBN 13 : 9780387517056
Editeur : Springer Verlag, 1990

Synopsis

No Computational Aspects of an Order-Sorted Logic with Term Declarations Read a customer review or write one .

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag
Date d'édition
1990
Langue
anglais
ISBN 10 
0387517057
ISBN 13 
9780387517056
Reliure
Broché
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

9783540517054: Computational Aspects of an Order-Sorted Logic with Term Declarations

Edition présentée

ISBN 10 :  3540517057 ISBN 13 :  9783540517054
Editeur : Springer, 2008
Couverture souple