Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Artificial Intelligence 395)

ISBN 10: 0387517057 / ISBN 13: 9780387517056

Published by Springer, 2008

About this Item

US SELLER SHIPS FAST FROM USA.

Seller Inventory # INTOK-153D1-0387517057-PB-1Pt7-lb

Bibliographic Details

• Title: Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Artificial Intelligence 395)
• Publisher: Springer
• Publication Date: 2008
• Language: English
• ISBN 10: 0387517057
• ISBN 13: 9780387517056
• Binding: Soft cover
• Condition: New