https://www.ebooknetworking.net/books_detail-3540517057.html

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

AuthorSchmidt-SchauÃŸ, Manfred

PublisherSpringer

Shop on Amazon — choose your country

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

Buy New on Amazon 🇫🇷

Book Details

Author(s)Schmidt-SchauÃŸ, Manfred

PublisherSpringer

ISBN / ASIN3540517057

ISBN-139783540517054

MarketplaceFrance 🇫🇷