Stickel Mark E Editor (2 results)

Author:

Refine with Advanced Search

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Stickel, Mark E. [Editor]
Language: English
Published by Springer, 1990
3540528857 / 9783540528852
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
5-star seller
Contact seller
Condition: Used - Good
£ 77.08
£ 5.29 shipping
Ships within U.S.A.
Quantity: 1 available
Paperback. Condition: Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, 449)
Stickel, Mark E. [Editor]
Language: English
Published by Springer, 1990
3540528857 / 9783540528852
- Softcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
5-star seller
Contact seller
Condition: New
£ 167.65
£ 5.26 shipping
Ships within U.S.A.
Quantity: 1 available
paperback. Condition: New. In shrink wrap. Looks like an interesting title.