A Resolution Principle for a Logic with Restricted Quantifiers - Brossura

Bürckert, Hans-Jürgen

 
9783662169322: A Resolution Principle for a Logic with Restricted Quantifiers
Brossura
ISBN 10: 3662169320 ISBN 13: 9783662169322
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3662169320
ISBN 13 
9783662169322
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783540550341: A Resolution Principle for a Logic with Restricted Quantifiers: 568

Edizione in evidenza

ISBN 10:  3540550348 ISBN 13:  9783540550341
Casa editrice: Springer, 2008
Brossura