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

Schmidt-Schau??, Manfred

ISBN 10: 3540517057 / ISBN 13: 9783540517054

Published by Springer, 1989

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Seller Inventory # UT1572730

Bibliographic Details

• Title: Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 1989
• Language: English
• ISBN 10: 3540517057
• ISBN 13: 9783540517054
• Binding: Paperback
• Condition: Very Good