Find Ebook "Automated Reasoning, 33 Basic Research Problems," by EPUB, MOBI, PDF, TXT, Kindle


Select Format The book was published in


Book description:

Publisher: Prentice Hall.
Date: November 1987.

Identifiers:
ISBN 10: 013054552X
ISBN 13: 9780130545527

Number of pages: 319


Automated Reasoning

This book describes the following items:

Automatic Theorem Proving, Computer Bks - General Information, Computer Books: Operating Systems, Artificial Intelligence, Computer ,


Search and Getownload E-Book Automated Reasoning

Select the ebook format you are interested in and we will find it for you. The Mystery Books service executes searching for the E-Book "Automated Reasoning" to provide you with the opportunity to load it for free.

For authors or copyright holders:
If you will to warn us about possible copyright infringement, please use our contact form.