Automated Reasoning With Otter
Full Title: | Automated Reasoning With Otter |
---|---|
ISBN: | 1589490045 |
ISBN13: | 9781589490048 |
List Price: | USD $81.37 |
Authors: |
Kalman, John Arnold Kalman, John A |