Automated Practical Reasoning
Subtitle: Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Contributors: Jochen Pfalzgraf (Editor); Dongming Wang (Editor)
Publisher: Springer-Verlag Telos
Published: January 1995
Language: eng
Number of pages: 223
ISBN-13: 9780387826004