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
Number of pages
184

Other Popular Editions of the Same Title

9783540517054: Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)

Featured Edition

ISBN 10:  3540517057 ISBN 13:  9783540517054
Publisher: Springer, 1989
Softcover