Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Schmidt-Schau??, Manfred:
Sold by NEPO UG, Rüsselsheim am Main, Germany
AbeBooks Seller since 15 November 2018
Used - Soft cover
Condition: Sehr gut
Quantity: 1 available
Add to basket