Computational Aspects of an Order-Sorted Logic with Term Declarations: 395 - Brossura

Schmidt-Schau??, Manfred

 
9783540517054: Computational Aspects of an Order-Sorted Logic with Term Declarations: 395

Contenuti

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

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

Altre edizioni note dello stesso titolo

9780387517056: Computational Aspects of an Order-Sorted Logic With Term Declarations

Edizione in evidenza

ISBN 10:  0387517057 ISBN 13:  9780387517056
Casa editrice: Springer Verlag, 1990
Brossura