Skip to content
Submit
Close search
Home
Books by Subject
expand
collapse
Books by Subject
Agriculture
Antiques
Architecture
Art
Books on Books
Business
Crafts & Hobbies
Ephemera
Film
Folio Society & Franklin Mint
Gastronomy
History
Law
Literature
Medicine
Military
Music
Nature
North American Native & Indigenous Peoples
Occult
Ontario History
Philosophy
Photographs & Photocards
Pulps
Reference
Religion
Signed Books & Ephemera
Science
Sports
Trade Catalogues
Transportation
New Local History
About Us
expand
collapse
About Us
Contact Us
Work with Us
Services
expand
collapse
Services
Appraisals
Buying Guide
Requests
Catalogues
Events/Shows
Submit
Search
Log in
Book Basket
Book Basket
0
items
expand/collapse
Home
Books by Subject
Agriculture
Antiques
Architecture
Art
Books on Books
Business
Crafts & Hobbies
Ephemera
Film
Folio Society & Franklin Mint
Gastronomy
History
Law
Literature
Medicine
Military
Music
Nature
North American Native & Indigenous Peoples
Occult
Ontario History
Philosophy
Photographs & Photocards
Pulps
Reference
Religion
Signed Books & Ephemera
Science
Sports
Trade Catalogues
Transportation
New Local History
About Us
Contact Us
Work with Us
Services
Appraisals
Buying Guide
Requests
Catalogues
Events/Shows
Home
›
Automated Reasoning With OTTER
INVENTORY
#148102
Automated Reasoning With OTTER
KALMAN, John Arnold
Regular price
$100.00 CAD
Sale
Default Title
Quantity
Add to book basket
Foreword by Larry Wos. Bibliography and index.
Publication Info
Publisher:
Rinton Press
Edition:
n/a
Date Published:
2001
Place Published:
Princeton
ISBN:
1589490045
Details
Condition:
ex library-good
Signed:
No
Dust Jacket:
No
Jacket Condition:
n/a
Details:
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.
Share the book love
Share
Share on Facebook
Tweet
Tweet on Twitter
Have a Question about this item?
Send Us an Email