1995 | Buch

# Automated Practical Reasoning

## Algebraic Approaches

Buchreihe: Texts and Monographs in Symbolic Computation

Herausgeber: Dr. Jochen Pfalzgraf, Dr. Dongming Wang

Verlag: Springer Vienna

Print ISBN: 978-3-211-82600-3

Electronic ISBN: 978-3-7091-6604-8

Enthalten in: Professional Book Archive