With an active marketplace of over 175 million items, use the Alibris Advanced Search Page to find any item you are looking for.
Through the Advanced Search Page, you can find items by searching specific terms such as Title, Author, Subject, ISBN, etc or you can narrow your focus using our amazing set of criteria parameters.
Advanced Search Can Help Find What You Are Searching For
Use the Alibris Advanced Search Page to narrow your search criteria and find your item!
With an active marketplace of over 175 million items, use the Alibris Advanced Search Page to find any item you are looking for.
Through the Advanced Search, you can find items by searching specific terms such as Title, Artist, Song Title, Genre, etc or you can narrow your focus using our amazing set of criteria parameters.
Advanced Search Can Help Find What You Are Searching For
Use the Alibris Advanced Search Page to narrow your search criteria and find your item!
With an active marketplace of over 175 million items, use the Alibris Advanced Search Page to find any item you are looking for.
Through the Advanced Search, you can find items by searching specific terms such as Title, Director, Actor, Genre, etc or you can narrow your focus using our amazing set of criteria parameters.
Advanced Search Can Help Find What You Are Searching For
Use the Alibris Advanced Search Page to narrow your search criteria and find your item!
Automated Deduction-Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science)
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Light rubbing wear to cover, spine and page edges. Very minimal writing or notations in margins not affecting the text. Possible clean ex-library copy, with their stickers and or stamp(s).
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Former Library book. Shows some signs of wear, and may have some markings on the inside. Shipped to over one million happy customers. Your purchase benefits world literacy!
Automated Deduction Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer.../ Lecture Notes in Artificial Intelligence)
Automated Deduction-Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science)
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
NEW. 9783540280057 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly-customer service is our primary goal.
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published:
7/14/2005 12: 00: 00 AM
Language:
English
Alibris ID:
14327598955
Shipping Options:
Standard Shipping: $3.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.