Articles liés à Computational Aspects of an Order-Sorted Logic with...

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
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible