Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Free Shipping within the US
Est. Date: Nov 30, 2025
BRAND NEW. Softcover.
- Author(s): Jochen Pfalzgraf~dongming Wang
- Publisher: Springer Verlag
- Language: en
- Pages: 223
- Binding: Paperback
- Published: 1995
- Dimensions: Height: 9.5 Inches, Length: 6.5 Inches, Weight: 1 Pounds, Width: 0.5 Inches
- Estimated Delivery: Nov 30, 2025
