search for books and compare prices
cover image
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
By Nachum Dershowitz (editor) and Andrei Voronkov (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 7, 2007
Pages 562
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783540755586
ISBN-10 3540755586
Dimensions 0.75 by 6.50 by 9.50 in.
Weight 1.90 lbs.
Published in Europe
Original list price $139.00
Summaries and Reviews
Amazon.com description: Product Description:

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.



Editions
Paperback
Book cover for 9783540755586
 
The price comparison is for this edition
from Springer-Verlag New York Inc (December 7, 2007)
9783540755586 | details & prices | 562 pages | 6.50 × 9.50 × 0.75 in. | 1.90 lbs | List price $139.00
About: This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.

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.