Wrightson G Editor (2 results)

Author:

Refine with Advanced Search

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation / Artificial Intelligence)
Siekmann, J. (Editor) / Wrightson, G. (Editor)
Language: English
Published by Springer-Verlag, 2012
3642819540 / 9783642819544
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 182.87
US$ 20.06 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 537 pages. 9.61x6.61x1.50 inches. In Stock.
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation / Artificial Intelligence)
Siekmann, J. (Editor) / Wrightson, G. (Editor)
Language: English
Published by Springer-Verlag, 2012
3642819575 / 9783642819575
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 185.16
US$ 20.06 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 649 pages. 9.60x6.70x1.50 inches. In Stock.