We see that javascript is disabled or not supported by your browser - javascript is needed for important actions on the site. Read more

Skip to main content

What's New - Home - Login

Member $avings: $81,583,047.32 | Books Available: 792,465 | Members Online: 248

Swap Used Books - Buy New Books at Great Prices!

How To Swap Books Sign Up Search submenu

submenu

PBS Market (New Books)

Gift Buying Guide

Book Browser Advanced Search Books Posted Today Member Book Reviews Award Winning Books NYT Best Sellers Amazon Best Sellers Most Traveled Copies Club Wish List

Login Community submenu

submenu

Discussion Forums Book Lists

Club Lists My Book Lists My Watched Lists Create a List

Blog Donations

School Donation Program In Memory of... Military Donation Program Friends of PBS

Box-O-Books Maps The Eclectic Pen Fun Stuff

20 Questions Sudoku Bookmark Creator

Top 100

Requests Posts Swappers Referrers Reviewers

Pulse of PBS Spread The Word

Invite Friends Bookmarks Facebook Page Facebook App More Ways...

Photo Gallery Recipes Club Tag Cloud Member Testimonials

Help Center submenu

submenu

How To Swap Books Browse Help Docs Ask the Librarian PBS Member Icons Live Help

Kiosk

submenu

PBS Market (New Books) Go Shopping Buy Credits Buy PBS Money Upgrade Membership Gift Certificates Transfer Credits

Search - List of Books by Savoie, France) Conference on Automated Deduction 1980 (Les Arcs

Total Books: 1

Chronological List
Alphabetical List
Available Only List

5th Conference on Automated Deduction Les Arcs France 1980

5th Conference on Automated Deduction Les Arcs France 1980 [Lecture Notes in Computer Science, 87] (Paperback)
ISBN-13: 9780387100098
ISBN-10: 0387100091

?

Back to the Top ↑