10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science) - Softcover
Other Popular Editions of the Same Title
Search results for 10th International Conference on Automated Deduction:...
Stock Image
Tenth International Conference on Automated Deduction : Proceedings Kaiserslautern, FRG, July 24-27, 1990
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 57148847-6
Stock Image
Tenth International Conference on Automated Deduction - Proceedings Kaiserslautern, FRG, July 24-27, 1990
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-83443
Stock Image
Tenth International Conference on Automated Deduction - Proceedings Kaiserslautern, FRG, July 24-27, 1990
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-108406
Stock Image
10th International Conference on Automated Deduction
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 688. Seller Inventory # 26531200
Stock Image
10th International Conference on Automated Deduction
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 688. Seller Inventory # 8365279
Buy Used
£ 80.81
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
10th International Conference on Automated Deduction
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 688. Seller Inventory # 18531210
Stock Image
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA75803875288575
Buy Used
£ 112
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available