Automated Development of Fundamental Mathematical Theories (Automated Reasoning Series)

by Art Quaife Hardcover details (USA). ISBN: 978-0-7923-2021-0 ISBN-10: 0-7923-2021-2 Springer · 1992