Logic Programming over Polymorphically Order-Sorted Types
Author:Smolka, G.
ISBN-13:
9780521391979
ISBN:
0521391970
Pub Date: 1998
Publisher: Cambridge University Press
Currently Unavailable
Product Details
ISBN-13:
ISBN:
Pub Date: 1998
Publisher: Cambridge University Press
9780521391979
ISBN:
0521391970
Pub Date: 1998
Publisher: Cambridge University Press
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?

