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

Name: Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Price: 62.87 USD
Availability: OutOfStock
ISBN: 9780387826004

0.0 (0 reviews) Write A Review

Out of stock

SKU SHUB85197

$62.87

Free Shipping within the US
Get it by: Jun 15, 2026

Overview

BRAND NEW. Softcover.

Product Details

ISBN-13:	9780387826004
ISBN-10:	0387826009
Publisher:	Springer Verlag
Publication date:	1995
Pages:	223
Product dimensions:	Height: 9.5 Inches, Length: 6.5 Inches, Weight: 1 Pounds, Width: 0.5 Inches
Author:	Jochen Pfalzgraf~dongming Wang
Language:	en
Binding:	Paperback