A Resolution Principle for a Logic with Restricted Quantifiers - Tapa blanda

Bürckert, Hans-Jürgen

 
9783662169322: A Resolution Principle for a Logic with Restricted Quantifiers
Tapa blanda
ISBN 10: 3662169320 ISBN 13: 9783662169322
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3662169320
ISBN 13 
9783662169322
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783540550341: A Resolution Principle for a Logic with Restricted Quantifiers: 568 (Lecture Notes in Computer Science, 568)

Edición Destacada

ISBN 10:  3540550348 ISBN 13:  9783540550341
Editorial: Springer, 2008
Tapa blanda