Automated Theorem Proving

Automated Theorem Proving

Automated Theorem Proving

(Author)
paperback | German
Published: 1 January, 1982
Standard worldwide delivery by Wed, July 8 - Fri, July 17
Order within 0
Condition: NEW
$63.14
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Wolfgang Bibel

View All Books by Wolfgang Bibel
Scalable Search in Computer Chess
Scalable Search in Computer Chess
Wolfgang Bibel
$92.40 $118.65
Used
Add to basket
Automated Theorem Proving
Automated Theorem Proving
Wolfgang Bibel
$126.61
New
Add to basket
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
$241.80
New
Add to basket
The SAP R/3® Guide to EDI and Interfaces
The SAP R/3® Guide to EDI and Interfaces
Wolfgang Bibel
$60.85
New
Add to basket
Multiobjective Heuristic Search
Multiobjective Heuristic Search
Wolfgang Bibel
$60.56
New
Add to basket
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
$242.25
New
Add to basket
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
$189.50
New
Add to basket
Mathematical Methods of Specification and Synthesis of Software Systems '85
Mathematical Methods of Specification and Synthesis of Software Systems '85
Wolfgang Bibel
$60.82
New
Add to basket
5th Conference on Automated Deduction
5th Conference on Automated Deduction
Wolfgang Bibel
$60.93
New
Add to basket
Betriebswirtschaftliche Anwendungen des Soft Computing
Betriebswirtschaftliche Anwendungen des Soft Computing
Wolfgang Bibel
$58.57
New
Add to basket

More Details

Type Book
ISBN13 9783528085209
ISBN10 3528085207
Number Of Pages 292
Item Weight 1000 g
Publisher / Reseller Springer Fachmedien Wiesbaden
Format paperback
See More +