search for books and compare prices
cover image
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
By Helmut Veith (editor), Andrei Voronkov (editor) and Iliano Cervesato (editor)
Price
Store
Arrives
Preparing
Shipping

Jump quickly to results on these stores:

The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher Springer-Verlag New York Inc
Publication date December 1, 2008
Pages 714
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783540894384
ISBN-10 3540894381
Dimensions 1 by 5.75 by 9 in.
Weight 1 lbs.
Published in Europe
Original list price $169.00
Subjects
Automatic theorem proving; Congresses.
Artificial intelligence; Congresses.
Logic programming; Congresses.
Summaries and Reviews
Editions
Paperback
Book cover for 9783540894384
 
The price comparison is for this edition
With Iliano Cervesato (other contributor), Helmut Veith (other contributor) | from Springer-Verlag New York Inc (December 1, 2008)
9783540894384 | details & prices | 714 pages | 5.75 × 9.00 × 1.00 in. | 1.00 lbs | List price $169.00

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.