Description: Get your hands on this informative textbook on Automated Theorem Proving: Theory and Practice by Monty Newborn. The hardcover book with English language text, published by Springer New York in 2000, comes with xiv, 231 pages. It is perfect for students, researchers, and professionals interested in the subject matter. The book measures 9.3 inches in length, 6.1 inches in width, and 0.3 inches in height, with a weight of 19.2 oz. This textbook is classified under Books & Magazines, Textbooks, Education & Reference, and Textbooks categories. Invest in this valuable piece of literature and expand your knowledge in Automated Theorem Proving. This book includes a cd with all the textbooks information. Shipping is available as well as local pickup.
Price: 99 USD
Location: Saint Paul, Minnesota
End Time: 2024-11-16T03:01:25.000Z
Shipping Cost: 5.38 USD
Product Images
Item Specifics
All returns accepted: ReturnsNotAccepted
Number of Pages: Xiv, 231 Pages
Publication Name: Automated Theorem Proving : Theory and Practice
Language: English
Publisher: Springer New York
Publication Year: 2000
Item Height: 0.3 in
Subject: Intelligence (Ai) & Semantics, Computer Science, Logic
Type: Textbook
Item Weight: 19.2 Oz
Item Length: 9.3 in
Author: Monty Newborn
Subject Area: Mathematics, Computers
Item Width: 6.1 in
Format: Hardcover
