Compare prices and save on cheap textbooks at CheapestTextbooks.com

Gathering data for you

Our Price Comparison is FREE to use. You are moments away from:

Buy, Rent or Sell
New, Used, Rental, eBooks
Finding the Cheapest Prices
Saving up to 95%

Check out

our fan page on

facebook

for additional ways to save.

The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

: Hardcover
Edition:: 1
Author:: Larry Wos
Publisher:: Academic Press
Release Date:: 1996
ISBN-10:: 0127634207
ISBN-13:: 9780127634203
List Price:: $117.00

Cheapest Price Summary Buy From $116.88

Used: $153.94

Amazon
(Marketplace)

Price:: $149.95
Shipping:: $3.99
Total:: $153.94

Buy Nowclick here!

New: $116.88

eCampus

Price:: $116.88
Shipping:: $0.00
Total:: $116.88

Buy Nowclick here!

Rent From $78.19

Semester Rental: $86.87

Knetbooks

Price:: $86.87
Shipping:: $0.00
Total:: $86.87

Rent Nowclick here!

85 Day Rental: $82.53

Knetbooks

Price:: $82.53
Shipping:: $0.00
Total:: $82.53

Rent Nowclick here!

55 Day Rental: $78.19

Knetbooks

Price:: $78.19
Shipping:: $0.00
Total:: $78.19

Rent Nowclick here!

Cheapest Price Summary
Store		Condition	Coupons & Deals	Price	Shipping	Total
	Amazon (Marketplace) Used	Used	$ Amazon coupon(s) Details: Get FREE Shipping with a $25+ purchase Restrictions: Spend over $25, see Amazon for details. Coupon Code: no code needed	$149.95 as of 4 seconds ago	$3.99	$153.94 $153.94Buy Nowclick here!
	eCampus New	New	$ eCampus coupon(s) Details: Get FREE Shipping with a $35+ purchase Restrictions: Must spend $35+ Coupon Code: no code needed	$116.88 as of 4 seconds ago	FREE	$116.88 $116.88Buy Nowclick here!
	Knetbooks Semester Rental (Due Date 12/11/2026)	Semester Rental (Due Date 12/11/2026)		$86.87 as of 4 seconds ago	FREE	$86.87 26% off $86.87Rent Nowclick here!
	Knetbooks 90 Day Rental (Due Date 09/12/2026)	90 Day Rental (Due Date 09/12/2026)		$82.53 as of 4 seconds ago	FREE	$82.53 29% off $82.53Rent Nowclick here!
	Knetbooks 54 Day Rental (Due Date 08/07/2026)	54 Day Rental (Due Date 08/07/2026)		$78.19 as of 4 seconds ago	FREE	$78.19 33% off $78.19Rent Nowclick here!

All Used New Rent eBook Sell Back

Buy it used for as low as $153.94
Store		Condition	Coupons & Deals	Price	Shipping	Total
	Amazon (Marketplace) Used	Used	$ Amazon coupon(s) Details: Get FREE Shipping with a $25+ purchase Restrictions: Spend over $25, see Amazon for details. Coupon Code: no code needed	$149.95 as of 4 seconds ago	$3.99	$153.94 $153.94Buy Nowclick here!

Buy it new for as low as $116.88
Store		Condition	Coupons & Deals	Price	Shipping	Total
	eCampus New	New	$ eCampus coupon(s) Details: Get FREE Shipping with a $35+ purchase Restrictions: Must spend $35+ Coupon Code: no code needed	$116.88 as of 4 seconds ago	FREE	$116.88 $116.88Buy Nowclick here!

Semester Rental for as low as $86.87
Store		Condition	Coupons & Deals	Price	Shipping	Total
	Knetbooks Semester Rental (Due Date 12/11/2026)	Semester Rental (Due Date 12/11/2026)		$86.87 as of 4 seconds ago	FREE	$86.87 26% off $86.87Rent Nowclick here!
	eCampus Semester Rental (Due Date 12/11/2026)	Semester Rental (Due Date 12/11/2026)	$ eCampus coupon(s) Details: Get FREE Shipping with a $35+ purchase Restrictions: Must spend $35+ Coupon Code: no code needed	$87.75 as of 4 seconds ago	FREE	$87.75 25% off $87.75Rent Nowclick here!
	BiggerBooks Semester Rental (Due Date 12/11/2026)	Semester Rental (Due Date 12/11/2026)	$ BiggerBooks coupon(s) Details: Get FREE Shipping with a $59+ purchase Restrictions: Must spend $59+ Coupon Code: no code needed	$90.38 as of 4 seconds ago	FREE	$90.38 23% off $90.38Rent Nowclick here!

85 Day Rental for as low as $82.53
Store		Condition	Coupons & Deals	Price	Shipping	Total
	Knetbooks 90 Day Rental (Due Date 09/12/2026)	90 Day Rental (Due Date 09/12/2026)		$82.53 as of 4 seconds ago	FREE	$82.53 29% off $82.53Rent Nowclick here!
	eCampus 90 Day Rental (Due Date 09/12/2026)	90 Day Rental (Due Date 09/12/2026)	$ eCampus coupon(s) Details: Get FREE Shipping with a $35+ purchase Restrictions: Must spend $35+ Coupon Code: no code needed	$83.36 as of 4 seconds ago	FREE	$83.36 29% off $83.36Rent Nowclick here!
	BiggerBooks 90 Day Rental (Due Date 09/12/2026)	90 Day Rental (Due Date 09/12/2026)	$ BiggerBooks coupon(s) Details: Get FREE Shipping with a $59+ purchase Restrictions: Must spend $59+ Coupon Code: no code needed	$85.86 as of 4 seconds ago	FREE	$85.86 27% off $85.86Rent Nowclick here!

55 Day Rental for as low as $78.19
Store		Condition	Coupons & Deals	Price	Shipping	Total
	Knetbooks 54 Day Rental (Due Date 08/07/2026)	54 Day Rental (Due Date 08/07/2026)		$78.19 as of 4 seconds ago	FREE	$78.19 33% off $78.19Rent Nowclick here!
	eCampus 54 Day Rental (Due Date 08/07/2026)	54 Day Rental (Due Date 08/07/2026)	$ eCampus coupon(s) Details: Get FREE Shipping with a $35+ purchase Restrictions: Must spend $35+ Coupon Code: no code needed	$78.98 as of 4 seconds ago	FREE	$78.98 32% off $78.98Rent Nowclick here!
	BiggerBooks 54 Day Rental (Due Date 08/07/2026)	54 Day Rental (Due Date 08/07/2026)	$ BiggerBooks coupon(s) Details: Get FREE Shipping with a $59+ purchase Restrictions: Must spend $59+ Coupon Code: no code needed	$81.35 as of 4 seconds ago	FREE	$81.35 30% off $81.35Rent Nowclick here!

Best Buying and Renting Options - Total includes shipping
Store		Condition	Coupons & Deals	Price	Shipping	Total
	Knetbooks Semester Rental (Due Date 12/11/2026)	Semester Rental (Due Date 12/11/2026)		$86.87 as of 4 seconds ago	FREE	$86.87 26% off $86.87Rent Nowclick here!
	eCampus Semester Rental (Due Date 12/11/2026)	Semester Rental (Due Date 12/11/2026)	$ eCampus coupon(s) Details: Get FREE Shipping with a $35+ purchase Restrictions: Must spend $35+ Coupon Code: no code needed	$87.75 as of 4 seconds ago	FREE	$87.75 25% off $87.75Rent Nowclick here!
	BiggerBooks Semester Rental (Due Date 12/11/2026)	Semester Rental (Due Date 12/11/2026)	$ BiggerBooks coupon(s) Details: Get FREE Shipping with a $59+ purchase Restrictions: Must spend $59+ Coupon Code: no code needed	$90.38 as of 4 seconds ago	FREE	$90.38 23% off $90.38Rent Nowclick here!
	eCampus New	New	$ eCampus coupon(s) Details: Get FREE Shipping with a $35+ purchase Restrictions: Must spend $35+ Coupon Code: no code needed	$116.88 as of 4 seconds ago	FREE	$116.88 $116.88Buy Nowclick here!
	Amazon (Marketplace) Used	Used	$ Amazon coupon(s) Details: Get FREE Shipping with a $25+ purchase Restrictions: Spend over $25, see Amazon for details. Coupon Code: no code needed	$149.95 as of 4 seconds ago	$3.99	$153.94 $153.94Buy Nowclick here!

This book is not available for: eBook, Sell Back

The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

Cheapest Price Summary

Amazon coupon(s)

eCampus coupon(s)

Buy it used for as low as $153.94

Amazon coupon(s)

Buy it new for as low as $116.88

eCampus coupon(s)

Semester Rental for as low as $86.87

eCampus coupon(s)

BiggerBooks coupon(s)

85 Day Rental for as low as $82.53

eCampus coupon(s)

BiggerBooks coupon(s)

55 Day Rental for as low as $78.19

eCampus coupon(s)

BiggerBooks coupon(s)

Best Buying and Renting Options - Total includes shipping

eCampus coupon(s)

BiggerBooks coupon(s)

eCampus coupon(s)

Amazon coupon(s)