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

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

AuthorDirk Fuchs

PublisherIos Pr Inc

Shop on Amazon — choose your 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 🇺🇸