Olivetti Nicola Editor (2 results)

Author:

Refine with Advanced Search

Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings
Olivetti, Nicola (Editor)
Language: English
Published by Springer-Verlag New York Inc, 2007
3540730982 / 9783540730989
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 65.19
£ 10.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 245 pages. 9.00x5.90x0.70 inches. In Stock.
Automated Reasoning: 8th International Joint Conference, Ijcar 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Olivetti, Nicola (Editor)/ Tiwari, Ashish (Editor)
Language: English
Published by Springer Verlag, 2016
3319402285 / 9783319402284
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 108.15
£ 35.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 532 pages. 9.25x6.10x1.36 inches. In Stock.