Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Schmidt-Schauß, Manfred
Sold by BennettBooksLtd, North Las Vegas, NV, U.S.A.
AbeBooks Seller since 17 April 2008
New - Soft cover
Condition: New
Quantity: 1 available
Add to basket