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 April 17, 2008
New - Soft cover
Condition: New
Quantity: 1 available
Add to basket