Items related to Computational Aspects of an Order-Sorted Logic with...

Computational Aspects of an Order-Sorted Logic with Term Declarations - Softcover

Schmidt-Schauß, Manfred

 
9783662199572: Computational Aspects of an Order-Sorted Logic with Term Declarations
Softcover
ISBN 10: 3662199572 ISBN 13: 9783662199572
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

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

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662199572
ISBN 13 
9783662199572
Binding
Paperback