A Resolution Principle for a Logic with Restricted Quantifiers - Couverture souple

Bürckert, Hans-Jürgen

 
9783662169322: A Resolution Principle for a Logic with Restricted Quantifiers
Couverture souple
ISBN 10 : 3662169320 ISBN 13 : 9783662169322
Editeur : Springer, 2014

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

Synopsis

Preliminaries.- Unification.- A logic with restricted quantifiers.- Equational constraint theories.- Conclusion.

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 
3662169320
ISBN 13 
9783662169322
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

9783540550341: A Resolution Principle for a Logic with Restricted Quantifiers

Edition présentée

ISBN 10 :  3540550348 ISBN 13 :  9783540550341
Editeur : Springer, 2008
Couverture souple