Skip to content

Automated Reasoning With OTTER

Automated Reasoning With OTTER

Click for full-size.

Automated Reasoning With OTTER

by KALMAN, John Arnold

  • Used
  • Hardcover
Condition
ex library-good
ISBN 10
1589490045
ISBN 13
9781589490048
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
London, Ontario, Canada
Item Price
$100.00
Or just $90.00 with a
Bibliophiles Club Membership
$8.25 Shipping to USA
Standard delivery: 7 to 14 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

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.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Seller
Attic Books CA (CA)
Seller's Inventory #
148102
Title
Automated Reasoning With OTTER
Author
KALMAN, John Arnold
Format/Binding
Hardcover
Book Condition
Used - ex library-good
Quantity Available
1
ISBN 10
1589490045
ISBN 13
9781589490048
Publisher
Rinton Press
Place of Publication
Princeton
Date Published
2001
Keywords
OTTER, Automated logic, Hyperresolution,
Bookseller catalogs
Technology;

Terms of Sale

Attic Books

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

About the Seller

Attic Books

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2011
London, Ontario

About Attic Books

Attic Books is one of the premier retail locations for antiquarian and collectable books in Canada. We recently celebrated our thirtieth year in business. Please browse our select online stock on a wide range of subjects in books and paper collectables for the reader, scholar and the seasoned collector. Or come visit us in London, Ontario to enjoy the relaxed atmosphere of our three floor bookstore, enhanced by original tin ceilings, hardwood maple floors, and the arts & crafts faade of our century building.

Glossary

Some terminology that may be used in this description includes:

Spine
The outer portion of a book which covers the actual binding. The spine usually faces outward when a book is placed on a shelf....

This Book’s Categories

tracking-