search for books and compare prices
Logic for Programming and Automated Reasoning: 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings
By
Andrei Voronkov (editor) and
Michel Parigot (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
Publication date
November 1, 2000
Pages
486
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9783540412854
ISBN-10
3540412859
Dimensions
1 by 6.25 by 9.50 in.
Weight
1.65 lbs.
Published in
Europe
Original list price
$129.00
Summaries and Reviews
(view table of contents)
Editions
Paperback
The price comparison is for this edition
from Springer Verlag (November 1, 2000)
9783540412854 | details & prices | 486 pages | 6.25 × 9.50 × 1.00 in. | 1.65 lbs | List price $129.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.