Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)

Name: Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Author: Schmidt-SchauÃŸ, Manfred
ISBN: 9783540517054

Author Schmidt-SchauÃŸ, Manfred

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

49.99 USD

🛒 Buy New on Amazon 🇺🇸

✓ In Stock.

Book Details

Author(s)Schmidt-SchauÃŸ, Manfred

PublisherSpringer

ISBN / ASIN3540517057

ISBN-139783540517054

AvailabilityIn Stock.

Sales Rank1,117,046

MarketplaceUnited States 🇺🇸