Home / Books / Computers & Internet / Cooperation in Heterogeneous Theorem Prover Networks (Dissertations in Artificial Intelligence-Infix, 231)

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: Fuchs
ISBN: 9781586031244

Fuchs

262 pages

IOS Press

Jan 2000

Paperback

Computers & Internet WSBN

Readers

Reviews

Discussions

Quotes

Add to My Library Buy on Amazon Find in Library

Join the conversation

No discussions yet. Join BookLovers to start a discussion about this book!

No reviews yet. Join BookLovers to write the first review!

No quotes shared yet. Join BookLovers to share your favorite quotes!

Earn Points

Your voice matters. Every comment, review, and quote earns you reward points redeemable for Bitcoin.

Comment +5 pts Review +20 pts Quote +7 pts Upvote +1 pt

BookMatch Quiz

Find books similar to this one

About this book

Pages 262

Publisher IOS Press

Published 2000

Readers 0

More by Fuchs

View All

Lexicon Latinitatis Nederlandicae Medii Aevi: Volume IV. F-I (Fasc. 26-34)

Similar Books in Computers & Internet

View All Similar

Fallout 4 Vault Dweller's Survival Guide Collector's Edition: Prima Official Game Guide

David Hodgson

Fallout 4 Ultimate Vault Dweller's Survival Guide Bundle

David Hodgson

#AskGaryVee: One Entrepreneur's Take on Leadership, Social Media, and Self-Awareness

by Gary Vaynerchuk

The Hundred-Page Machine Learning Book

Andriy Burkov

Instant Access Databases

Greg Buczek

Typographics 3: Global Vision

Roger Walton