Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Artificial Intelligence 395)
Sold by BOOKWEST, Phoenix, AZ, U.S.A.
AbeBooks Seller since December 10, 2022
New - Soft cover
Condition: New
Quantity: 1 available
Add to basket