Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)

Jochen Pfalzgraf~Dongming Wang

ISBN 10: 0387826009 ISBN 13: 9780387826004
Published by Springer-Verlag Telos, 1995
Language: English
Used Condition: Good Soft cover
Save for Later

From Bookmans, Tucson, AZ, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since 30 April 2007

View this seller's items

Used - Soft cover

Price: £ 6.29 Convert Currency
£ 3.01 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket
Save for Later