Automated Theorem Proving

by Wolfgang Bibel

Among the dreams of mankind is the one dealing with the mecha- nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3528185201
• ISBN13: 9783528185206
• Release Date: January 1987
• Publisher: Vieweg+teubner Verlag
• Length: 289 Pages
• Weight: 1.07 lbs.
• Dimensions: 0.6" x 6.7" x 9.6"