Description:
Princeton: Rinton Press, 2001. Hardcover. ex library-good. xv, 536 p. 27 cm. Ex library with labels on spine and front, ink stamps on top edge and title. Dents in spine. Front states CD ROM included but this has been inked out; CD ROM not included. Foreword by Larry Wos. Bibliography and index.
Stock Photo: Cover May Be Different
Automated Reasoning with Otter [With CD-ROM] Hardcover - 2001
by John Arnold Kalman; Foreword by Larry Wos
Details
- Title Automated Reasoning with Otter [With CD-ROM]
- Author John Arnold Kalman; Foreword by Larry Wos
- Binding Hardcover
- Pages 536
- Volumes 1
- Language ENG
- Publisher Rinton Press
- Date 2001-01
- ISBN 9781589490048 / 1589490045
- Library of Congress Catalog Number 2002277409
- Dewey Decimal Code 006.333
More Copies for Sale
Automated Reasoning With OTTER
by KALMAN, John Arnold
- Used
- Hardcover
- Condition
- Used - ex library-good
- Binding
- Hardcover
- ISBN 13
- 9781589490048
- ISBN 10
- 1589490045
- Quantity Available
- 1
- Seller
-
London, Ontario, Canada
- Item Price
-
$100.00$8.25 shipping to USA
Show Details
Item Price
$100.00
$8.25
shipping to USA