5th Conference on Automated Deduction :Les Arcs, France, July 8-11, 1980 - Lecture Notes in Computer Science

5th Conference on Automated Deduction

5th Conference on Automated Deduction :Les Arcs, France, July 8-11, 1980 - Lecture Notes in Computer Science

(Author) (Author)
paperback
Published: 1 June, 1980
Standard worldwide delivery by Thu, July 9 - Mon, July 20
Order within 0
Condition: NEW
$60.93
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.26 $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 Theorem Proving
Automated Theorem Proving
Wolfgang Bibel
$63.14
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
Betriebswirtschaftliche Anwendungen des Soft Computing
Betriebswirtschaftliche Anwendungen des Soft Computing
Wolfgang Bibel
$58.57
New
Add to basket

More Details

Type Book
ISBN13 9783540100096
ISBN10 3540100091
Number Of Pages 388
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 1980 ed.
See More +