Cooperation in Heterogeneous Theorem Prover Networks (Dissertations in Artificial Intelligence-Infix, 231)

Name: Cooperation in Heterogeneous Theorem Prover Networks (Dissertations in Artificial Intelligence-Infix, 231)
Author: Dirk Fuchs
ISBN: 9781586031244

Author Dirk Fuchs

Publisher Ios Pr Inc

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

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

36.00 USD

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $52.42

✓ Usually ships in 24 hours

Book Details

Author(s)Dirk Fuchs

PublisherIos Pr Inc

ISBN / ASIN1586031244

ISBN-139781586031244

AvailabilityUsually ships in 24 hours

MarketplaceUnited States 🇺🇸