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

Schmidt-Schauß, Manfred

 
9783662199572: Computational Aspects of an Order-Sorted Logic with Term Declarations
Couverture souple
ISBN 10 : 3662199572 ISBN 13 : 9783662199572
Editeur : Springer, 2014

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

Synopsis

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

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

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662199572
ISBN 13 
9783662199572
Reliure
Taschenbuch
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