Delivery included to the United States

Automated Practical Reasoning

Automated Practical Reasoning Algebraic Approaches - Texts and Monographs in Symbolic Computation

Paperback (01 Jan 1995)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780387826004
Publisher: Springer Verlag,.
Imprint: Springer Verlag,.
Pub date:
Language: English
Number of pages: 223
Weight: 453g
Height: 241mm
Width: 165mm
Spine width: 12mm