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

Buy New on Amazon 🇫🇷

Book Details

Author(s)Dirk Fuchs

PublisherIos Pr Inc

ISBN / ASIN1586031244

ISBN-139781586031244

MarketplaceFrance 🇫🇷